Related papers: On some admissible lattices
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…
I review recent approaches to constructing supersymmetric lattice theories focusing in particular on the concept of topological twisting. The latter technique is shown to expose a nilpotent, scalar supersymmetry which can be implemented…
Frieze patterns have an interesting combinatorial structure, which has proven very useful in the study of cluster algebras. We introduce $(k,n)$-frieze patterns, a natural generalisation of the classical notion. A generalisation of the…
We introduce a new class of friezes which is related to symplectic geometry. On the algebraic and combinatrics sides, this variant of friezes is related to the cluster algebras involving the Dynkin diagrams of type ${\rm C}_{2}$ and ${\rm…
We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we…
Leibniz algebras are a non-anticommutative version of Lie algebras. They play an important role in different areas of mathematics and physics and have attracted much attention over the last thirty years. In this paper we investigate whether…
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Plo\v{s}\v{c}ica. The standard representations of complete ortholattices and complete perfect Heyting…
Attribute and size reductions are key issues in formal concept analysis. In this paper, we consider a special kind of equivalence relation to reduce concept lattices, which will be called local congruence. This equivalence relation is based…
To each of the Johnson, Grassmann and Hamming graphs we associate a lattice and characterize the eigenspaces of the adjacency operator in terms of this lattice . We also show that each level of the lattice induces in a natural way a tight…
We identify natural degrees of freedom of polycrystalline materials -- affine transformations of grains -- with those of a three-dimensional lattice theory for $(T\otimes\Omega)(\mathbb{R}^3)$. We define a lattice Dirac operator on this…
We introduce an algorithm for computing closure systems derived from a family of implications on a set. Semilattices presentations are explored and used in conjunction with the algorithm to compute various types of lattices freely generated…
For every $n$, we evaluate the smallest $k$ such that the congruence inclusion $\alpha (\beta \circ_n \gamma ) \subseteq \alpha \beta \circ_{k} \alpha \gamma $ holds in a variety of reducts of lattices introduced by K. Baker. We also study…
The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…
Characterizing derived equivalences between algebras via combinatorial structures has recently become a popular topic. In this paper, we study admissible fractional Brauer graph algebras, a new subclass of self-injective special biserial…
The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}}…
In this article we introduce theory and algorithms for learning discrete representations that take on a lattice that is embedded in an Euclidean space. Lattice representations possess an interesting combination of properties: a) they can be…
Finite fields form an important chapter in abstract algebra, and mathematics in general. We aim to provide a geometric and intuitive model for finite fields, involving algebraic numbers, in order to make them accessible and interesting to a…
We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…
The symmetric difference in Boolean lattices can be defined in two different but equivalent forms. However, it can be introduced also in every bounded lattice with complementation where these two forms need not coincide. We study lattices…