Pages that link to "Item:Q1121932"
From MaRDI portal
The following pages link to Covering relation in the language of mono-unary algebras with at most one constant symbol (Q1121932):
Displaying 4 items.
- On the covering relation in the interpretability lattice of equational theories (Q690111) (← links)
- Further properties of lattices of equational theories (Q1180695) (← links)
- A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers (Q1894550) (← links)
- Some decidable theories with finitely many covers which are decidable and algorithmically found (Q4318107) (← links)