On the covering relation in the interpretability lattice of equational theories
From MaRDI portal
Publication:690111
DOI10.1007/BF01190449zbMath0802.08005MaRDI QIDQ690111
Publication date: 13 December 1994
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01190449
08B05: Equational logic, Mal'tsev conditions
06E99: Boolean algebras (Boolean rings)
03C05: Equational classes, universal algebra in model theory
Related Items
Cites Work