Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
scientific article; zbMATH DE number 4083620