A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers

DOI10.1007/BF01225469zbMath0839.08003OpenAlexW2086405474MaRDI QIDQ1894550

Cornelia Kalfa

Publication date: 21 September 1995

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01225469

zbMATH Keywords

equational theory

Mathematics Subject Classification ID

Lattices of varieties (08B15) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Covering relation in the language of mono-unary algebras with at most one constant symbol
• Covering in the lattice of equational theories and some properties of term finite theories

This page was built for publication: A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers