On Splittings in Lattices of Quasivarieties of Heyting Algebras
摘要
We show that similarly to splittings in lattices of varieties, splitting algebras in lattices of quasivarieties do not have to be finitely presented.