Anonymity and Neutrality in Arrow's Theorem with Restricted Coalition Algebras

In the very general setting of Armstrong (1980) for Arrow's Theorem, I show two results. First, in an infinite society, Anonymity is inconsistent with Unanimity and Independence if and only if a domain for social welfare functions satisfies a modest condition of richness. While Arrow's axioms can be satisfied, unequal treatment of individuals thus persists. Second, Neutrality is consistent with Unanimity (and Independence). However, there are both dictatorial and nondictatorial social welfare functions satisfying Unanimity and Independence but not Neutrality. In Armstrong's setting, one can naturally view Neutrality as a stronger condition of informational simplicity than Independence