Intuitionistic sequential compactness?
scientific article; zbMATH DE number 6948553
scientific article