Abstrakt
As an application of ultrafilters, we revisit Arrow's theorem: under quite mild an reasonable conditions on "social choice" (such as elections), the existence of ultrafilters implies that there is no "fair" result of such choice, besides agreeing on a dictator.
The proofs (which I intend ti give in full) are mostly elementary, no previous knowledge of infinite combinatorics is assumed.