All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 31

Showing per page

Finite atomistic lattices that can be represented as lattices of quasivarieties

K. Adaricheva, Wiesław Dziobiak, V. Gorbunov (1993)

Fundamenta Mathematicae

We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].

Finite orders and their minimal strict completion lattices

Gabriela Hauser Bordalo, Bernard Monjardet (2003)

Discussiones Mathematicae - General Algebra and Applications

Whereas the Dedekind-MacNeille completion D(P) of a poset P is the minimal lattice L such that every element of L is a join of elements of P, the minimal strict completion D(P)∗ is the minimal lattice L such that the poset of join-irreducible elements of L is isomorphic to P. (These two completions are the same if every element of P is join-irreducible). In this paper we study lattices which are minimal strict completions of finite orders. Such lattices are in one-to-one correspondence with finite...

Finitely generated almost universal varieties of 0 -lattices

Václav Koubek, Jiří Sichler (2005)

Commentationes Mathematicae Universitatis Carolinae

A concrete category 𝕂 is (algebraically) universal if any category of algebras has a full embedding into 𝕂 , and 𝕂 is almost universal if there is a class 𝒞 of 𝕂 -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of 0 -lattices which are almost universal.

Formalization of Generalized Almost Distributive Lattices

Adam Grabowski (2014)

Formalized Mathematics

Almost Distributive Lattices (ADL) are structures defined by Swamy and Rao [14] as a common abstraction of some generalizations of the Boolean algebra. In our paper, we deal with a certain further generalization of ADLs, namely the Generalized Almost Distributive Lattices (GADL). Our main aim was to give the formal counterpart of this structure and we succeeded formalizing all items from the Section 3 of Rao et al.’s paper [13]. Essentially among GADLs we can find structures which are neither V-commutative...

Currently displaying 1 – 20 of 31

Page 1 Next