The existence of a purely finitely additive measure cannot be proved in Zermelo-Frankel set theory if the use of the Axiom of Choice is disallowed.

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...

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...