Type two computability of social choice functions and the Gibbard-Satterthwaite theorem in an infinite society
scientific article; zbMATH DE number 5776997