The following pages link to (Q3773933):
Displaying 4 items.
- Mal'cev conditions for Horn sentences with congruence permutability (Q794686) (← links)
- Horn sentences with (W) and weak Mal'cev conditions (Q800399) (← links)
- Some lattice Horn sentences for submodules of prime power characteristic (Q1333069) (← links)
- A Horn sentence for involution lattices of quasiorders (Q1842101) (← links)