The following pages link to (Q3932855):
Displaying 13 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)
- A property of the lattice of equational theories (Q1083465) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Special elements of the lattice of monoid varieties (Q1652861) (← links)
- On definability in some lattices of semigroup varieties. (Q1939493) (← links)
- Standard elements of the lattice of monoid varieties (Q2026736) (← links)
- Cancellable elements of the lattice of monoid varieties (Q2236649) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Cancellable Elements in the Lattice of Overcommutative Semigroup Varieties (Q5018539) (← links)
- An equational logic sampler (Q5055725) (← links)
- On modular and cancellable elements of the lattice of semigroup varieties (Q5224175) (← links)
- Cancellable elements of the lattices of varieties of semigroups and epigroups (Q5231254) (← links)
