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

DOI10.2307/2275885MaRDI QIDQ4876322zbMATH OpenOpenAlexFDO

Authors George F. McNulty, Jaroslav Ježek

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

finitely axiomatizable theorycoverlattice of equational theoriesfinitely based theory

Mathematics Subject Classification ID

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

Recommendations

• Some decidable theories with finitely many covers which are decidable and algorithmically found
• A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers
• On the covering relation in the interpretability lattice of equational theories

Cites work

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

Cited in

(3)

• Some decidable theories with finitely many covers which are decidable and algorithmically found
• A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers
• Further properties of lattices of equational theories

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

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