A Lipschitz determinacy principle equivalent to weak König lemma
scientific article; zbMATH DE number 7637219
scientific article