scientific article; zbMATH DE number 1390541

zbMath0986.08002MaRDI QIDQ4935937

V. A. Gorbunov

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

word problemlattice theoryquasivarietiesuniversal algebraGrothendieck toposresidual finitenesscylindric algebramodel theory of modulesequational compactnessfinite embeddabilityfinite basis theoremrelatively congruence-distributive quasivarietyresidually small varietiescompact algebraalgebraic theory of latticescongruence lattice of semilatticesquasivariety generated by finite semigroupssubcartesian product of finite algebrassubdirect decomposition theoremtheory of convex geometries

Mathematics Subject Classification ID

Lattices of varieties (08B15) Representation theory of lattices (06B15) Structure theory of algebraic structures (08A05) Quasivarieties (08C15) Ordered rings, algebras, modules (06F25) Equational classes, universal algebra in model theory (03C05) Subdirect products and subdirect irreducibility (08B26) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (41)

Compactness conditions in universal algebraic geometry ⋮ Levi classes of quasivarieties of nilpotent groups of exponent \(p^s\) ⋮ Dominions in quasivarieties of metabelian groups. ⋮ Characterizable classes of lattices ⋮ Dominions in Abelian subgroups of metabelian groups. ⋮ Complexity of quasivariety lattices. ⋮ Varieties of exponential \(R\)-groups ⋮ Algebraic geometry over algebraic structures. VI: Geometrical equivalence ⋮ Decompositions in complete lattices. III: Unique irredundant decompositions and convex geometries ⋮ Quasivarieties of Graphs and Independent Axiomatizability ⋮ The axiomatic rank of the Levi class generated by the almost abelian quasivariety of nilpotent groups ⋮ Structure of quasivariety lattices. III: Finitely partitionable bases ⋮ On \(\infty \)-quasivarieties ⋮ On the finite axiomatizability of varieties of commutative unary algebras ⋮ Dominions of universal algebras and projective properties ⋮ The axiomatic rank of Levi classes ⋮ Decompositions in complete lattices. II: Replaceable irredundant decompositions ⋮ Independent axiomatizability of quasivarieties of torsion-free nilpotent groups ⋮ Semivarieties of nilpotent groups. ⋮ Levi quasivarieties of exponent \(p^s\). ⋮ Algebraic geometry over algebraic structures. V: The case of arbitrary signature ⋮ Complexity of quasivariety lattices of pointed Abelian groups. ⋮ 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 ⋮ Algebraic geometry over algebraic structures. IV: Equational domains and codomains ⋮ Lattices of subclasses. II ⋮ 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 ⋮ Dominions in solvable groups. ⋮ A semigroup of theories and its lattice of idempotent elements ⋮ Absolutely closed groups in the class of 2-step nilpotent torsion-free groups. ⋮ \( \omega \)-independent bases for quasivarietes of torsion-free groups ⋮ A Levi class generated by a quasivariety of nilpotent groups ⋮ Levi classes of quasivarieties of groups with commutator subgroup of order \(p\) ⋮ Existence of independent quasi-equational bases ⋮ On conditionally rational-equivalent discriminator varieties ⋮ Absolute closedness of torsion-free abelian groups in the class of metabelian groups. ⋮ Quasivariety lattices of pointed abelian groups.

This page was built for publication: