This paper gives a concrete example of a nondictatorial, coalitionally strategyproof social choice function for countably infinite societies. The function is defined for those profiles such that for each alternative, the coalition that prefers it the most is gdescribable.h The gdescribableh...

In a framework allowing infinitely many individuals, I prove that coalitionally strategyproof social choice functions satisfy gtops only.h That is, they depend only on which alternative each individual prefers the most, not on which alternative she prefers the second most, the third, . . . , or...