The following pages link to (Q4196408):
Displayed 6 items.
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- 2-element matrices (Q1168307) (← links)
- Three-element nonfinitely axiomatizable matrices (Q1337599) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)