Factorable congruences and strict refinement.
Page 1
Displaying 1 – 10 of 10
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].
Finitely generated almost universal varieties of -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 -lattices which are almost universal.
Finitely generated congruence distributive quasivarieties of algebras
Wiesław Dziobiak (1989)
Fundamenta Mathematicae
Finitely generated universal varieties of distributive double -algebras
V. Koubek, J. Sichler (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Finite-to-finite universal varieties of distributive double -algebras
Václav Koubek (1990)
Commentationes Mathematicae Universitatis Carolinae
Formulas and ultraproducts in categories
HAJNALKA ANDRÉKA, ISTVÁN NÉMETI (1979)
Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry
Free algebras in varieties
Jan Pavlík (2010)
Archivum Mathematicum
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows. Free algebras in the varieties are investigated and their existence is proved under the assumptions of accessibility.
Free Suslin algebras
Erik Ellentuck (1977)
Czechoslovak Mathematical Journal
From hereditary classes to varieties in abstract model theory and partial algebra
I. NÉMETI (1978)
Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry
Currently displaying 1 – 10 of 10
Page 1