Finite equational bases for finite algebras in a congruence-distributive equational class

DOI10.1016/0001-8708(77)90056-1zbMATH Open0356.08006OpenAlexW4249714686MaRDI QIDQ1237798FDOQ1237798

Authors: Kirby A. Baker 

Publication date: 1977

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(77)90056-1

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Varieties (08B99) Algebraic structures (08Axx)

Cites Work

• Identities satisfied by a finite ring
• A nonassociative extension of the class of distributive lattices
• Identical relations in finite groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean Algebras with Operators
• Stone lattices
• Introduction to model theory and to the metamathematics of algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equational Classes of Distributive Pseudo-Complemented Lattices
• Equational Bases and Nonmodular Lattice Varieties
• Principal Congruences of Pseudocomplemented Distributive Lattices
• Bases for equational theories of semi-groups
• Subdirect unions in universal algebra
• Identities in Finite Algebras
• Equational Theories of Algebras with Distributive Congruences
• Topics in universal algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Die Kennzeichnung der distributiven pseudokomplementären Halbverbände.
• Title not available (Why is that?)
• Stone Lattices. I: Construction Theorems
• Stone Lattices. II. Structure Theorems
• Completeness in arithmetical algebras
• Implication algebras are 3-permutable and 3-distributive
• Title not available (Why is that?)
• The Lattice Theory of Post Algebras
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Identities in Two-Valued Calculi
• Equational classes generated by finite algebras
• Equational axioms for classes of Heyting algebras
• Varieties of Orthomodular Lattices. II
• Covering relations among lattice varieties
• The decision problem for equational bases of algebras
• A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
• Equational Bases for Lattice Theories.
• Residually small varieties
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Title not available (Why is that?)
• Notes on ordered rings
• Kongruenzklassengeometrien
• Subdirectly irreducible modular p-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Varieties of Orthomodular Lattices
• Identities and relations in commutative Moufang loops
• On Equational Classes of Algebraic Versions of Logic I.
• Weak (projective) radius and finite equational bases for classes of lattices
• Primitive subsets of lattices
• Über eine Konstruktion der distributiven pseudokomplementären Verbände
• Characterization of the bounded Brouwerian lattices
• Splitting algebras and a weak notion of projectivity
• Primitive Klassen von modularen S-Algebren.
• Charakterisierungen der primitiven Klassen arithmetischer Ringe
• On the general theory of algebraic systems
• Die primitiven Klassen arithmetischer Ringe
• Primitive Länge und primitive Weite bei modularen Verbänden
• Title not available (Why is that?)
• Some finitely based varieties of rings
• Title not available (Why is that?)
• Variety Invariants for Modular Lattices
• Equational axioms for classes of lattices
• Cross varieties of groups
• Title not available (Why is that?)
• Algebraic and equational semi-maximality; equational spectra. II
• Various varieties
• Title not available (Why is that?)
• Translations and congruences in lattices
• Identical relations in loops, I
• Laws in finite strictly simple loops

Cited In (74)

• Every shift automorphism variety has an infinite subdirectly irreducible member
• Every idempotent plain algebra generates a minimal variety
• Finite bases for finitely generated, relatively congruence distributive quasivarities
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• On finitely related semigroups.
• Identities and quasi-identities of pointed algebras
• Equational Theories with a Minority Polynomial
• Equational axioms for classes of Heyting algebras
• Relatively congruence modular quasivarieties of modules
• Quasiidentities of two-element algebras
• Nilpotent and solvable radicals in locally finite congruence modular varieties
• A proof of Lyndon's finite basis theorem
• Lyndon's groupoid is not inherently nonfinitely based
• An approach to lattice varieties of finite height
• A finite basis theorem for difference-term varieties with a finite residual bound
• A field guide to equational logic
• Layers over minimal logic
• COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
• On Jónsson's theorem
• Jónsson's contributions to lattice theory
• Two examples concerning the definability of the disjointness property of principal congruences
• A four-element algebra whose identities are not finitely based
• Inherently nonfinitely based lattices
• Title not available (Why is that?)
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• The determination of subvarieties of certain congruence-distributive varieties
• On pretabular logics in NExtK4. I
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• An equational logic sampler
• A finite base for \(M^ n\) and maximal projective distance in \(M^ n\).
• On the structure of varieties with equationally definable principal congruences. I
• Congruence varieties
• A finite algebra A with SP(A) not elementary
• Universal algebras
• Bjarni Jónsson's contributions in algebra
• Non-finite-axiomatizability results in algebraic logic
• Title not available (Why is that?)
• Bounded and well-placed theories in the lattice of equational theories
• Bases of quasiidentities of finite modal algebras
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• On the join of Cross varieties of algebras
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• Finite basis problems and results for quasivarieties
• Laws in finite loops
• Nondefinability of projectivity in lattice varieties
• Basic questions for general algebras
• Key notions of Tarski's methodology of deductive systems
• On subdirectly irreducible lattice-ordered semigroups
• Products of finitely based varieties of Brouwerian semilattices
• The logic of algebraic rules as a generalization of equational logic
• A quasi-Mal'cev condition with unexpected application.
• Finite equational bases for congruence modular varieties
• Minimal, locally-finite varieties that are not finitely axiomatizable
• A finite basis theorem for quasivarieties
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Finite groupoids without finite bases for their identities
• Baker's finite basis theorem
• Quasivarieties with definable relative principal subcongruences
• On algebraic specifications of computable algebras with the discriminator technique
• Congruence-distributive varieties of algebras
• SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Protoalgebraic logics
• n-Permutability is not join-prime for n ≥ 5
• Finite axiomatizability of congruence rich varieties
• PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
• Minimal Axiomatization in Modal Logic
• Equivalent transformations of formulas in \(P_2\).
• Tarski’s finite basis problem via 𝐀(𝒯)
• THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES
• The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples
• Universal algebraic methods for non-classical logics
• A Generalization of Maksimova’s Criterion for the Disjunction Property

This page was built for publication: Finite equational bases for finite algebras in a congruence-distributive equational class

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1237798)