A finite basis theorem for residually finite, congruence meet-semidistributive varieties

DOI10.2307/2586531zbMATH Open0973.08004arXivmath/9712291OpenAlexW2594244112MaRDI QIDQ4953214FDOQ4953214

Authors: Ross Willard 

Publication date: 5 December 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then it is finitely based. Theorem B: there is an algorithm which, given m<w and a finite algebra in a finite language, determines whether the variety generated by the algebra is congruence meet-semidistributive and residually less then m.

Full work available at URL: https://arxiv.org/abs/math/9712291

Recommendations

• Congruence meet-semidistributive locally finite varieties and a finite basis theorem
• Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Residual finiteness in completely regular semigroup varieties
• scientific article; zbMATH DE number 1899886
• A finite basis theorem for difference-term varieties with a finite residual bound
• A finite basis theorem for quasivarieties
• Finite bases for finitely generated, relatively congruence distributive quasivarities

zbMATH Keywords

equational theoryresidual boundfinite basis theoremresidually small varietiescongruence meet-semidistributive varieties

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Algebras Whose Congruence Lattices are Distributive.
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
• Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
• The Relationship Between Two Commutators
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Finite equational bases for congruence modular varieties
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
• THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
• Residually small varieties
• Semi-categorial algebras. II
• Tarski’s finite basis problem via 𝐀(𝒯)

Cited In (28)

• Finite equational bases for subalgebra distributive varieties
• Identities and quasi-identities of pointed algebras
• Relatively congruence modular quasivarieties of modules
• Title not available (Why is that?)
• Triangular irreducibility of congruences in quasivarieties
• Title not available (Why is that?)
• Extending Baker's theorem
• A finite basis theorem for difference-term varieties with a finite residual bound
• Fragments of R-mingle
• Inherently nonfinitely based lattices
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Maltsev families of varieties closed under join or Maltsev product
• Deciding active structural completeness
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Simpler Maltsev conditions for (weak) difference terms in locally finite varieties
• The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• Mal'tsev conditions, lack of absorption, and solvability.
• Finite basis problems and results for quasivarieties
• Finite bases for flat graph algebras
• Congruence meet-semidistributive locally finite varieties and a finite basis theorem
• A quasi-Mal'cev condition with unexpected application.
• Finite equational bases for congruence modular varieties
• A finite basis theorem for quasivarieties
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Universal algebraic methods for non-classical logics
• Quasivarieties with definable relative principal subcongruences

This page was built for publication: A finite basis theorem for residually finite, congruence meet-semidistributive varieties

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