scientific article; zbMATH DE number 1226187

zbMath0986.08001MaRDI QIDQ4220413

Publication date: 23 November 1998

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

word problem lattice theory 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

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 (87)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Structure of quasivariety lattices. IV: Nonstandard quasivarieties ⋮ On quasivarieties of axiomatic rank 3 of torsion-free nilpotent groups ⋮ Identities and quasi-identities of pointed algebras ⋮ Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures ⋮ On dominions of the rationals in nilpotent groups ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Almost structural completeness; an algebraic approach ⋮ UNREASONABLE LATTICES OF QUASIVARIETIES ⋮ Unnamed Item ⋮ Defining subdirect product closed classes in infinitary logic ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ A relatively finite-to-finite universal but not Q-universal quasivariety ⋮ Axiomatizations of universal classes through infinitary logic ⋮ Axiomatisability and hardness for universal Horn classes of hypergraphs ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ A refinement of the equaclosure operator ⋮ Inverse subsemigroups and classes of finite aperiodic semigroups. ⋮ The lattice of closure operators on a subgroup lattice ⋮ Lattices of subclasses. III ⋮ Quasiequational bases of Cantor algebras ⋮ Ultraproducts preserve finite subdirect reducibility ⋮ On Mal'cev's multiplication of antivarieties of algebraic systems ⋮ Interval dismantlable lattices ⋮ Relativised homomorphism preservation at the finite level ⋮ On algebraic-geometric and universal theories of abelian groups ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ On groups which are not finitely defined in every quasivariety of groups ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ ENDOMORPHISMS OF DISTRIBUTIVE LATTICES WITH A QUANTIFIER ⋮ Admissibility in positive logics ⋮ Equations over solvable groups ⋮ On the consistency problem for modular lattices and related structures ⋮ Lattices of subclasses ⋮ Universal algebraic methods for non-classical logics ⋮ Universal geometrical equivalence of the algebraic structures of common signature ⋮ On Using the Join Operation to Define Classes of Algebras ⋮ On the independent axiomatizability of quasivarieties of nilpotent groups ⋮ Groups with nilpotent \(n \)-generated normal subgroups ⋮ Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract ⋮ On sufficient conditions for \(Q\)-universality ⋮ Semilattice transversals of regular bands. II ⋮ On a class of subsemigroup lattices ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Lattices of theories in languages without equality ⋮ Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Some Properties of Complete Boolean Algebras ⋮ Algebraic geometry over algebraic structures X: Ordinal dimension ⋮ Properties not retained by pointed enrichments of finite lattices ⋮ On the complexity of the lattices of subvarieties and congruences ⋮ On the quasivarieties generated by a finite group and lacking any independent bases of quasi-identities ⋮ Coproducts of distributive lattice-based algebras. ⋮ Remarks about the Q-lattice of the variety of lattices ⋮ On representation of finite lattices ⋮ Boolean topological graphs of semigroups: the lack of first-order axiomatization ⋮ IRREGULAR QUASIVARIETIES OF COMMUTATIVE BINARY MODES ⋮ On 2-closedness of the rational numbers in quasivarieties of nilpotent groups ⋮ The lattice of algebraic closure operators on an infinite subgroup lattice ⋮ Varieties of exponential \textit{MR}-groups ⋮ On the complexity of quasivariety lattices ⋮ Fundamentals of the theory of varieties of nilpotent MR-groups ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ On quasi-equational bases for differential groupoids and unary algebras ⋮ On the prevariety of perfect lattices ⋮ Quasi-equational bases for graphs of semigroups, monoids and groups. ⋮ On the \(\omega\)-independence of quasivarieties of nilpotence groups ⋮ The Levi classes generated by nilpotent groups. ⋮ The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion ⋮ Finite quasivarieties and self-referential conditions ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Deciding active structural completeness ⋮ Equivalents for a quasivariety to be generated by a single structure ⋮ Relatively inherently nonfinitely q-based semigroups ⋮ Epimorphisms, definability and cardinalities ⋮ The shape of congruence lattices ⋮ Unnamed Item ⋮ QUASIVARIETIES OF IDEMPOTENT SEMIGROUPS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ On the complexity of the lattices of subvarieties and congruences. II: Differential groupoids and unary algebras ⋮ Structural completeness in many-valued logics with rational constants ⋮ On Strongly Algebraically Closed Lattices ⋮ Primitive lattice varieties ⋮ On relative principal congruences in term quasivarieties ⋮ On the closedness of a locally cyclic subgroup in a metabelian group.

This page was built for publication: