Arrow’s theorem as a corollary

Arrow’s Impossibility Theorem is derived from a general result on social aggregation in ‘property spaces’ (S3 convex structures) obtained in prior work. In the derivation, the specific structure of Arrowian aggregation as an aggregation of weak orders plays a purely combinatorial role.