Social Choice and Welfare 17, 393-402, 2000. The functions are defined on the domain of profiles measurable with respect to a Boolean algebra of coalitions. I also prove an extension theorem. Mimeo, February 2000. To appear in Social Choice and Welfare .
Slides are available here.
This paper gives a concrete example of a nondictatorial, coalitionally strategyproof social choice function for countably infinite societies. The paper discusses oligarchical characteristics of the function, employing a specific interpretation of an infinite society. Arrow's theorem, countably many agents, and more visible invisible dictators . Slides and notes are available here. Arrow impossibility theorem, Turing computability, recursion theory, oracle algorithms, free ultrafilters.