The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal …
George Grätzer started writing his General Lattice Theory in 1968. It was published in 1978. It set out “to discuss in depth the basics of general lattice theory.” Almost 900 exercises, 193 …
ME Adams, W Dziobiak - Proceedings of the American Mathematical …, 1994 - ams.org
A quasivariety of algebras of finite type is $ Q $-universal if its lattice of subquasivarieties has, as a homomorphic image of a sublattice, the lattice of subquasivarieties of any …
AM Nurakunov - International Journal of Algebra and Computation, 2012 - World Scientific
A quasivariety is a universal Horn class of algebraic structures containing the trivial structure. The set of all subquasivarieties of a quasivariety forms a complete lattice under …
The book Roads to Quoz, by William Least Heat-Moon, describes that author's search for the mysterious reward that awaits the curious traveler, as much in the journey as the destination …
ME Adams, KV Adaricheva, W Dziobiak… - Studia Logica, 2004 - Springer
Abstract The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L (K) of all subquasivarieties for some quasivariety K of …
ME Adams, W Dziobiak - Journal of Algebra, 1994 - Elsevier
Shafaat showed that if L (Q (A)) is the lattice of subquasivarieties of the quasivariety Q (A) generated by an algebra A, then, for a 2-element algebra A, L (Q (A)) is a 2-element chain. It …
K Adaricheva, JB Nation - International Journal of Algebra and …, 2012 - World Scientific
We show that for every quasivariety 𝒦 of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational …