On the expressiveness of choice quantification
scientific article; zbMATH DE number 1915311
scientific article