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

DOI10.2307/2275885zbMATH Open0849.08009OpenAlexW2033066257MaRDI QIDQ4876322FDOQ4876322

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

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

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)

Cites Work

• A field guide to equational logic
• A property of the lattice of equational theories
• 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
• Structural diversity in the lattice of 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)