Pages that link to "Item:Q3946216"
From MaRDI portal
The following pages link to The lattice of equational theories. Part II: The lattice of full sets of terms (Q3946216):
Displayed 9 items.
- Definability in the substructure ordering of simple graphs (Q259729) (← links)
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Further properties of lattices of equational theories (Q1180695) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Open questions related to the problem of Birkhoff and Maltsev (Q1770619) (← links)
- On definability in some lattices of semigroup varieties. (Q1939493) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Lattices of polynomials under substitution (Q2366141) (← links)
- An equational logic sampler (Q5055725) (← links)