Pages that link to "Item:Q1237086"
From MaRDI portal
The following pages link to \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members (Q1237086):
Displayed 6 items.
- On finite approximability of psi-intermediate logics (Q1054716) (← links)
- Universal algebras (Q1173984) (← links)
- On decision procedures for sentential logics (Q1181478) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)