Heyting \(\kappa\)-frames
\(\bigvee_\kappa\)-complete Heyting algebras
scientific article; zbMATH DE number 7905642
scientific article