scientific article; zbMATH DE number 1390541
algebraic theory of latticescompact algebracongruence lattice of semilatticescylindric algebraequational compactnessfinite basis theoremfinite embeddabilityGrothendieck toposlattice theorymodel theory of modulesquasivarietiesquasivariety generated by finite semigroupsrelatively congruence-distributive quasivarietyresidual finitenessresidually small varietiessubcartesian product of finite algebrassubdirect decomposition theoremtheory of convex geometriesuniversal algebraword problem
Equational classes, universal algebra in model theory (03C05) Representation theory of lattices (06B15) Ordered rings, algebras, modules (06F25) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Structure theory of algebraic structures (08A05) Lattices of varieties (08B15) Subdirect products and subdirect irreducibility (08B26) Quasivarieties (08C15)
- 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.
- Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
- 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
- Levi classes of quasivarieties of groups with commutator subgroup of order \(p\)
- Levi classes of quasivarieties of nilpotent groups of exponent \(p^s\)
- 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
- Algebraic systems
- Quasiequational Theories of Flat Algebras
- Dominions of universal algebras and projective properties
- scientific article; zbMATH DE number 3943892 (Why is no real title available?)
- Lattices of subclasses. II
- Quasivarieties of graphs and independent axiomatizability
- Algebraic geometry over algebraic structures. IV: Equational domains and codomains
- Dominions in solvable groups.
- Dominions in quasivarieties of metabelian groups.
- Varieties of exponential R-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
- Existence of independent quasi-equational bases. II
- Levi classes of quasivarieties of nilpotent groups of class at most two
- Absolutely closed groups in the class of 2-step nilpotent torsion-free groups.
- Existence of independent quasi-equational bases
- Complexity of quasivariety lattices.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4935937)