On Strongly-equitable Social Welfare Orders Without the Axiom of Choice

Basic Information

• Paper ID: 2406.08684
• Title: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• Author: Luke Serafin
• Classification: math.LO (Mathematical Logic)
• Publication Date: October 17, 2025
• Paper Link: https://arxiv.org/abs/2406.08684

Abstract

Social welfare orders aim to aggregate the diverse preferences of infinitely many generations into a single, equitable social preference order. Dubey and Laguzzi investigated a class of social welfare orders called SEA (Strongly Equitable and Anonymity-preserving), proving that the existence of SEA orders implies the existence of sets of real numbers lacking the Baire property, and observing that SEA orders can be constructed using non-principal ultrafilters on $\mathbb{N}$. This paper answers two open questions: whether the existence of SEA orders implies the existence of non-Lebesgue measurable sets of real numbers, and whether it implies the existence of non-principal ultrafilters on $\mathbb{N}$. The results show that the existence of SEA orders does indeed imply the existence of non-Lebesgue measurable sets, but does not imply the existence of non-principal ultrafilters on $\mathbb{N}$.

Research Background and Motivation

Problem Background

1. Social Welfare Order Problem: In theoretical economics, how to aggregate the different utilities that different individuals or generations derive from the same policy into a single social preference order is a central question.
2. Fairness Requirements: Social welfare orders must satisfy certain reasonable fairness principles, such as finite anonymity and strong equity.
3. Constructivity Issues: Economists have discovered that many combinations of properties cannot be realized without assuming the axiom of choice, exhibiting non-constructive characteristics.

Research Motivation

1. Theoretical Refinement: The work of Dubey and Laguzzi left two important open problems requiring resolution
2. Logical Foundations: Exploring the logical relationships between the existence of SEA orders and important concepts in set theory (such as ultrafilters and measurability)
3. Independence Results: Determining which mathematical objects' existence is mutually independent in ZF+DC

Core Contributions

1. Proved that the existence of SEA orders implies the existence of non-Lebesgue measurable sets of real numbers, answering the first open question of Dubey and Laguzzi
2. Proved that the existence of SEA orders does not imply the existence of non-principal ultrafilters on $\mathbb{N}$, answering the second open question
3. Developed a general prelinearization theory applicable to a broader class of Borel preorders
4. Applied techniques from geometric set theory, particularly the balanced forcing method of Larson and Zapletal

Methodology

Task Definition

To investigate the logical relationships between the existence of SEA orders (social welfare orders simultaneously satisfying strong equity and finite anonymity) and the existence of other set-theoretic objects.

Core Definitions

• Finite Anonymity: For any permutation π with finite support and any $y \in Y^{\mathbb{N}}$, we have $y \approx y \circ \pi$
• Strong Equity: If there exist $i,j \in \mathbb{N}$ such that $x(i) < y(i) < y(j) < x(j)$ and $x,y$ are identical at other coordinates, then $x \prec y$
• SEA Order: A social welfare order simultaneously satisfying strong equity and finite anonymity

Main Technical Methods

1. Non-Lebesgue Measurability Proof

Core Strategy: Using Fubini's theorem and ergodicity arguments

Key Lemma: The relation $E_{S_<\infty} \times E_{S_<\infty}$ on $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ is ergodic with respect to Lebesgue measure.

Proof Strategy:

• Assume the SEA order ≾ is Lebesgue measurable
• By finite anonymity, ≾ is closed with respect to $E_{S_<\infty}$ on each coordinate
• Ergodicity implies that invariant sets are either null or co-null
• Analyzing vertical sections via Fubini's theorem leads to a contradiction

2. Non-Principal Ultrafilter Independence Proof

Core Technique: Balanced forcing from geometric set theory

Main Tools:

• Virtual Conditions: Describing forcing conditions consistent across different generic extensions
• Quiet Forcing: Ensuring that no non-principal ultrafilters are added
• Quotient Space Linearization: Constructing SEA orders through linearization of quotient spaces of equivalence relations

Technical Innovations

1. Clever Application of Fubini's Theorem: Applying measure-theoretic tools to social choice theory to prove that SEA orders must be non-measurable
2. Introduction of Geometric Set Theory Techniques: First application of Larson-Zapletal balanced forcing theory to economic problems
3. General Prelinearization Framework: Development of a general theory applicable to "quiet" Borel preorders

Experimental Setup

Theoretical Verification Methods

Since this is pure mathematical theoretical research, "experiments" primarily refer to theoretical constructions and proof verification:

1. Model Construction: Constructing extensions in the symmetric Solovay model W that contain SEA orders but no non-principal ultrafilters
2. Forcing Method: Using quotient space linearization posets for forcing extensions
3. Consistency Proofs: Verifying that constructed models satisfy ZF+DC and possess the desired properties

Key Technical Verification

• Quietness Verification: Proving that the prelinearization poset P(≾) is quiet
• Balanced Equivalence Classification: Classifying quiet virtual conditions through complete prelinearization
• Ultrafilter Limit Closure: Verifying that balanced virtual conditions are closed under ultrafilter limits

Experimental Results

Main Results

Theorem 1 (Non-Lebesgue Measurability)

Proposition 2: Let ≾ be an SEA order on $4^{\mathbb{N}}$. Then ≾ as a subset of $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ is not Lebesgue measurable.

Theorem 2 (Ultrafilter Independence)

There exists a model of ZF+DC in which:

• An SEA order exists
• No non-principal ultrafilter on $\mathbb{N}$ exists
• No $E_0$-transversal exists

Constructive Results

Proposition 4: Non-Principal Ultrafilter Construction of SEA Orders

If a non-principal ultrafilter U on $\mathbb{N}$ exists, then an SEA order on $(2^{\mathbb{N}})^{\mathbb{N}}$ exists.

Propositions 5-6: Alternative Construction Methods

• A linear order on $2^{\mathbb{N}}/E_0$ suffices to construct an SEA order on $4^{\mathbb{N}}$
• A linear order on $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ suffices to construct an SEA order on $Y^{\mathbb{N}}$ for any ordered Polish space Y

Generalization Results

Corollary 13: Prelinearization of Quiet Borel Preorders

If ≾ is a quiet Borel preorder, then there exists a model of ZF+DC in which ≾ has a prelinearization but no non-principal ultrafilter on $\mathbb{N}$ exists.

Related Work

Theoretical Economics Background

• Social Choice Theory: Arrow's impossibility theorem and its generalizations
• Intergenerational Equity: Fair allocation problems among infinitely many generations
• Anonymity and Equity: Fundamental axioms for social welfare functions

Set-Theoretic Foundations

• Descriptive Set Theory: Regularity properties of Borel and analytic sets
• Forcing Theory: Cohen forcing and Solovay models
• Large Cardinals: Consistency strength of inaccessible cardinals

Geometric Set Theory

• Larson-Zapletal Theory: Balanced forcing and virtual conditions
• Quotient Space Linearization: Forcing linearization of quotient spaces of equivalence relations
• Quiet Forcing: Forcing that preserves the non-existence of certain sets

Conclusions and Discussion

Main Conclusions

1. Set-Theoretic Strength of SEA Order Existence:
   • Stronger than "all sets of reals are Lebesgue measurable"
   • Weaker than "non-principal ultrafilters exist"
   • Independent of "existence of $E_0$-transversals"
2. Hierarchy of Construction Methods:
   • Non-principal ultrafilters → SEA orders
   • $E_1$-transversals → General SEA orders
   • $E_0$-transversals → Finite utility SEA orders

Limitations

1. Large Cardinal Assumptions: Proving ultrafilter independence requires consistency of inaccessible cardinals
2. ANIP Order Problem Unresolved: Similar problems for anonymous infinite Pareto orders remain open
3. Quietness Condition Restrictions: The general prelinearization theory requires preorders to satisfy the quietness property

Future Directions

1. ANIP Order Research: Whether similar methods can handle infinite Pareto conditions
2. More General Preorders: Extension to all Borel or analytic preorders
3. Necessity of Large Cardinals: Determining whether large cardinal assumptions are truly necessary
4. Non-Separable Spaces: Investigating utility spaces over arbitrary definable linear orders

In-Depth Evaluation

Strengths

1. Technical Innovation:
   • First application of geometric set theory to social choice theory
   • Clever application of Fubini's theorem in this context
   • Development of more widely applicable prelinearization theory
2. Theoretical Completeness:
   • Complete resolution of the two open problems posed by Dubey-Laguzzi
   • Precise set-theoretic characterization of SEA order existence
   • Establishment of bridges between economic and set-theoretic concepts
3. Methodological Contribution:
   • Demonstrates the potential of modern set-theoretic tools in economics
   • Provides a systematic framework for solving similar problems

Weaknesses

1. High Technical Threshold: Requires deep background in set theory, limiting acceptance in the economics community
2. Limited Practical Utility: Results are primarily theoretical with limited guidance for actual policy-making
3. Conditional Assumptions: Some results require large cardinal consistency assumptions

Impact

1. Academic Value:
   • Advances set-theoretic foundations of social choice theory
   • Provides new application domains for geometric set theory
   • May inspire further interdisciplinary research
2. Theoretical Significance:
   • Clarifies the logical status of important economic concepts
   • Demonstrates the subtle role of the axiom of choice in economics

Applicable Scenarios

1. Theoretical Economics: Studying existence and constructivity of social welfare functions
2. Set Theory: Applications of independence results and forcing theory
3. Mathematical Logic: Interdisciplinary research between descriptive set theory and large cardinal theory

References

The paper cites 17 important references, among which the key ones include:

• 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" - Poses the original problems
• 11 Larson & Zapletal: "Geometric set theory" - Provides main technical tools
• 7 Kanamori: "The higher infinite" - Standard reference for large cardinal theory
• 8 Kechris: "Classical descriptive set theory" - Foundational reference for descriptive set theory

This paper represents significant progress in the interdisciplinary field combining mathematical economics with modern set theory. Through rigorous mathematical analysis, it clarifies the logical status of fundamental concepts in social choice theory, laying a solid foundation for further research in related areas.