Publication:4935937

zbMath0986.08002MaRDI QIDQ4935937

V. A. Gorbunov

Publication date: 17 January 2000

zbMATH Keywords

word problem; lattice theory; quasivarieties; universal algebra; Grothendieck topos; residual finiteness; cylindric algebra; model theory of modules; equational compactness; finite embeddability; finite basis theorem; relatively congruence-distributive quasivariety; residually small varieties; compact algebra; algebraic theory of lattices; congruence lattice of semilattices; quasivariety generated by finite semigroups; subcartesian product of finite algebras; subdirect decomposition theorem; theory of convex geometries

Mathematics Subject Classification ID

08B15: Lattices of varieties

06B15: Representation theory of lattices

08A05: Structure theory of algebraic structures

08C15: Quasivarieties

06F25: Ordered rings, algebras, modules

03C05: Equational classes, universal algebra in model theory

08B26: Subdirect products and subdirect irreducibility

08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems

Related Items

Lattices of subclasses. II, Quasivarieties of Graphs and Independent Axiomatizability, Dominions in solvable groups., Algebraic geometry over algebraic structures. IV: Equational domains and codomains, Dominions in quasivarieties of metabelian groups., On \(\infty \)-quasivarieties, Decompositions in complete lattices. II: Replaceable irredundant decompositions, Semivarieties of nilpotent groups., Levi quasivarieties of exponent \(p^s\)., Algebraic geometry over algebraic structures. V: The case of arbitrary signature, New algebraic invariants for definable subsets in universal algebra, Finiteness of a set of quasivarieties of torsion-free metabelian groups of axiomatic rank 2., The quasivariety lattice of torsion-free soluble groups., Antivarieties of unars, Absolutely closed groups in the class of 2-step nilpotent torsion-free groups., Existence of independent quasi-equational bases, Complexity of quasivariety lattices., On conditionally rational-equivalent discriminator varieties, Algebraic geometry over algebraic structures. VI: Geometrical equivalence, Decompositions in complete lattices. III: Unique irredundant decompositions and convex geometries, The axiomatic rank of Levi classes, Complexity of quasivariety lattices of pointed Abelian groups., Characterizable classes of lattices, Dominions in Abelian subgroups of metabelian groups., Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits, Structure of quasivariety lattices. I: Independent axiomatizability, Structure of quasivariety lattices. II: Undecidable problems, A semigroup of theories and its lattice of idempotent elements, The axiomatic rank of the Levi class generated by the almost abelian quasivariety of nilpotent groups, Structure of quasivariety lattices. III: Finitely partitionable bases, Independent axiomatizability of quasivarieties of torsion-free nilpotent groups, \( \omega \)-independent bases for quasivarietes of torsion-free groups, A Levi class generated by a quasivariety of nilpotent groups, Absolute closedness of torsion-free abelian groups in the class of metabelian groups., Quasivariety lattices of pointed abelian groups., Compactness conditions in universal algebraic geometry, On the finite axiomatizability of varieties of commutative unary algebras, Dominions of universal algebras and projective properties