Generic impossibility of Arrow's impossibility theorem

Our major objective is to show that if there are infinitely many alternatives and society can be decomposed into the sum of two non-negligible coalitions, the set of all Arrovian collective choice rules that satisfy the ultrafilter property (its set of decisive coalitions form an ultrafilter), is nowhere dense in the set of all Arrovian collective choice rules. This result entails that (1) almost all Arrovian collective choice rules are non-dictatorial and (2) in any neighborhood of a dictatorial Arrovian collective choice rule, a nondictatorial Arrovian collective choice rule can be found, i.e., the property of admitting a dictator is not a locally stable property for Arrovian collective choice rules in the sense that the property does not withstand a small perturbation.