Differentiating Infinite Voting Populations using Ultrafilters
  In this short paper, we use the Rudin-Frolik order to shed light on the differing structures of invisible dictatorships given by Arrow-type social welfare functions over a countably infinite number of voters. 
Priyanka Menon
math.LO cs.GT