\(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members

DOI10.1007/BF02485420zbMath0355.08002MaRDI QIDQ1237086

Willem J. Blok

Publication date: 1977

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Varieties (08B99) Intermediate logics (03B55)

Related Items (6)

Bjarni Jónsson's contributions in algebra ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Universal algebras ⋮ On decision procedures for sentential logics ⋮ On finite approximability of psi-intermediate logics

Cites Work

• Algebras Whose Congruence Lattices are Distributive.
• Unnamed Item

This page was built for publication: \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members