\(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
scientific article; zbMATH DE number 3552569