The existence of a Paretian and finitely anonymous ordering in the set of infinite utility streams implies the existence of a non-Ramsey set (a nonconstructive object whose existence requires the axiom of choice). Therefore, each Paretian and finitely anonymous quasi-ordering either is...

We study divisor methods, the primary class to solve apportionment problems, based upon Stolarsky means S(alphabeta). These encompass the five traditional methods. We disclose a one-to-one relation between methods of the form S(alpha1) and aggregate measures of seat/vote disproportionality of...