A note on intuitionistic models of ZF
extensionalization process for Kripke or sheaf-structures
scientific article; zbMATH DE number 3765774