Decidable varieties with modular congruence lattices

DOI10.1090/S0273-0979-1981-14912-0zbMath0468.08008OpenAlexW2067858618MaRDI QIDQ3921288

Ralph McKenzie, Stanley N. Burris

Publication date: 1981

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0273-0979-1981-14912-0

zbMATH Keywords

abelian varietydiscriminator varietydecidable first order theorylocally finite congruence modular variety

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Related Items

Quantifier elimination in discriminator varieties, Finitely Boolean Representable Varieties, The undecidability of the elementary theory of lattices of all equational theories of large signature, A use of the method of interpretations for decidability or undecidability of measure spaces

Cites Work

• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• Residually small varieties of K-algebras
• Completeness in arithmetical algebras
• Sheaf Constructions and Their Elementary Properties
• Unnamed Item
• Unnamed Item