The shrinking principle and the axiom of choice
fragment of constructive Zermelo-Fraenkel set theory
scientific article; zbMATH DE number 5189630