Pages that link to "Item:Q4184897"
From MaRDI portal
The following pages link to On Baker's Finite Basis Theorem for Congruence Distributive Varieties (Q4184897):
Displayed 9 items.
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Congruence varieties (Q1141676) (← links)
- Two examples concerning the definability of the disjointness property of principal congruences (Q1150643) (← links)
- Universal algebras (Q1173984) (← links)
- Finite bases for finitely generated, relatively congruence distributive quasivarities (Q1179764) (← links)
- Congruence meet-semidistributive locally finite varieties and a finite basis theorem (Q1652880) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Quasivarieties of algebras with definable principal congruences (Q2277502) (← links)
- Varieties generated by finite BCK-algebras (Q3880895) (← links)