Consitent group choice and ultrafilters

Since I first encountered ultraproduct I had a feeling that Łoś’s theorem is a kind of a voting scheme on the set of indices in the ultraproduct This happened to be a relatively well known interpretation, developed mostly in the theory of social choice. Still, I felt that it is worthwhile to document a clean mathematical treatment of the issue, which I did in this preprint.