The following pages link to (Q4196408):
Displaying 7 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)
- Three-element non-finitely axiomatizable matrices and term-equivalence (Q2987725) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
