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

DOI10.1016/0001-8708(77)90056-1zbMath0356.08006OpenAlexW4249714686MaRDI QIDQ1237798

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)

Related Items

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

Cites Work