The existence of finitely based lower covers for finitely based equational theories

DOI10.2307/2275885zbMath0849.08009OpenAlexW2033066257MaRDI QIDQ4876322

George F. McNulty, Jaroslav Jezek

Publication date: 4 November 1996

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

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

zbMATH Keywords

coverfinitely axiomatizable theorylattice of equational theoriesfinitely based theory

Mathematics Subject Classification ID

Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)

Cites Work

• A property of the lattice of equational theories
• Structural diversity in the lattice of equational theories
• A field guide to equational logic
• Intervals in the lattice of varieties
• Covering in the lattice of equational theories and some properties of term finite theories
• Unsolvable problems for equational theories

This page was built for publication: The existence of finitely based lower covers for finitely based equational theories