Realizability models refuting Ishihara's boundedness principle
scientific article; zbMATH DE number 6092964
scientific article