Primitive Satisfaction and Equational Problems for Lattices and Other Algebras

DOI10.2307/1996955zbMath0291.08001OpenAlexW4252730960MaRDI QIDQ4041620

Kirby A. Baker

Publication date: 1974

Full work available at URL: https://doi.org/10.2307/1996955

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Structure theory of lattices (06B05) Ordered groups (06F15) Structure theory of Boolean algebras (06E05) Ordered rings, algebras, modules (06F25) Cylindric and polyadic algebras; relation algebras (03G15) Axiomatic model classes (08C10) Varieties (08B99) General logic (03B99) Algebraic structures (08Axx)

Related Items (32)

Bjarni Jónsson's contributions in algebra ⋮ Matrices, primitive satisfaction and finitely based logics ⋮ Congruence computations in principal arithmetical varieties ⋮ The determination of subvarieties of certain congruence-distributive varieties ⋮ Unnamed Item ⋮ Principal congruences in de Morgan algebras ⋮ An approach to lattice varieties of finite height ⋮ Algebras whose principal congruences form a sublattice of the congruence lattice ⋮ Congruence lattices in varieties with compact intersection property ⋮ The variety generated by planar modular lattices ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Finite bases for finitely generated, relatively congruence distributive quasivarities ⋮ Bibliography on quantum logics and related structures ⋮ A single quasi-identity for a quasivariety with the Fraser-Horn property ⋮ Weakly associative lattices with congruence extension property ⋮ Sums of finitely based lattice varieties ⋮ Finite basis problems and results for quasivarieties ⋮ Equational axioms for classes of Heyting algebras ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Congruence-lattices of discrete RUCS varieties ⋮ On the theory of varieties of lattice ordered groups ⋮ Unnamed Item ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Weak (projective) radius and finite equational bases for classes of lattices ⋮ A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties ⋮ Nondefinability of projectivity in lattice varieties ⋮ Unnamed Item ⋮ Bases of identities of varieties of lattice ordered semigroups ⋮ A finite basis theorem for quasivarieties ⋮ Equational Theories of Algebras with Distributive Congruences ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Equational axioms for classes of Heyting algebras
• Weak (projective) radius and finite equational bases for classes of lattices
• Primitive Länge und primitive Weite bei modularen Verbänden
• Equational classes of modular lattices
• Bases for equational theories of semi-groups
• Kongruenzklassengeometrien
• Die primitiven Klassen arithmetischer Ringe
• Charakterisierungen der primitiven Klassen arithmetischer Ringe
• Notes on ordered rings
• Implication algebras are 3-permutable and 3-distributive
• Completeness in arithmetical algebras
• Primitive subsets of lattices
• Various varieties
• Equational Bases for Lattice Theories.
• Varieties of Orthomodular Lattices
• Varieties of Orthomodular Lattices. II
• Modules over commutative regular rings
• On the Existence of Free Structures over Universal Classes
• Algebras Whose Congruence Lattices are Distributive.
• The Lattice Theory of Post Algebras
• On Equational Classes of Algebraic Versions of Logic I.
• Variety Invariants for Modular Lattices
• Equational axioms for classes of lattices
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• On the calculus of relations
• Boolean Algebras with Operators
• Identities in Finite Algebras
• Subdirect unions in universal algebra

This page was built for publication: Primitive Satisfaction and Equational Problems for Lattices and Other Algebras