A note on the modal logic of symmetric extensions

The Modal Logic of Symmetric Extensions: Why the Axiom of Choice is a Problematic Switch

A note on the modal logic of symmetric extensions

Summary

Problem

Method

Results

Takeaways

Abstract

This paper explores the modal logic of the universe of symmetric extensions (ZF models), extending the work of Hamkins and Löwe. It demonstrates that while the modal logic remains S4.2, the introduction of "choice-switches"—statements that toggle the Axiom of Choice (AC)—creates a dependency that forces the collapse of cardinals and the pushing of existing combinatorial buttons.

TL;DR

In the abstract world of set-theoretic multiverses, modal logic (the logic of possibility $⋄$ and necessity $□$ ) helps us understand what can be changed via forcing. While symmetric extensions allow us to treat the Axiom of Choice (AC) as a "switch" that can be turned on or off, Hope Duncan’s research proves that this switch is "noisy." Flipping it—specifically, restoring choice—inevitably collapses cardinals, thereby "pushing" other buttons (combinatorial properties) that were supposed to remain independent.

Background: The Multiverse and S4.2

The "Forcing Multiverse" is a collection of models of ZFC reachable by forcing. Hamkins and Löwe famously proved its modal logic is S4.2. This logic is characterized by two components:

Buttons: Statements that, once made true, stay true (e.g., $V e q L$ ).
Switches: Statements that can be toggled infinitely (e.g., the Continuum Hypothesis).

When we move to Symmetric Extensions, we deal with ZF (set theory without choice). Here, AC itself becomes a switch because we can always force to restore it.

The Core Conflict: Choice vs. Cardinal Stability

The author investigates Choice-Switches: statements like "Countable Choice holds" or "AC holds." The central discovery is that these choice-switches exhibit a destructive interference with traditional buttons.

The Mechanism of Failure

The paper utilizes a specific construction involving the Fodor Property. In a symmetric extension $M$ , it is possible for Fodor's Lemma to fail everywhere.

In such a model $M$ , certain cardinals $κ$ remain regular.
However, $M$ contains a sequence of clubs with an empty intersection (violating normal filter properties).
The Catch: The moment you force to restore the Axiom of Choice (moving to a model $N$ ), the presence of that sequence of clubs forces $κ$ to be collapsed.

Model Architecture Relationship Description: The diagram represents the relationship between the Ground Model V (ZFC), the Symmetric Extension M (ZF), and the resulting Forcing Extension N (ZFC) where choice is restored but cardinals are collapsed.

Methodology: Proving Non-Independence

The "Main Theorem" of the paper is a result of logical constraints. To have an Independent System, you must be able to flip any switch without affecting any button.

Button $b$ : Defined by a combinatorial property of a regular cardinal $κ$ (e.g., "Stationary set $S \subset κ$ is not stationary").
Choice-Switch $s$ : Restoring AC.

The author proves that to flip $s$ (restore AC), you must use forcing. But any forcing that restores AC in a model with "choice-switch" behavior (like failure of Extendible Choice) will cause $κ$ to collapse. Once $κ$ collapses, the property defining button $b$ is automatically changed (the button is "pushed").

Experimental Logic - Cardinal Collapse Description: Table or visualization showing that in model M, $κ$ is regular, but in N (where AC holds), $κ$ becomes a successor/countable cardinal, destroying the independence of the buttons.

Deep Insight: The Price of Choice

The significance of this work lies in how it frames the Axiom of Choice. In previous literature, AC was often viewed as a "top-level" axiom. Duncan shows that within the modal framework of symmetric extensions, AC acts as a systemic pivot.

Unlike the Continuum Hypothesis ( $C H$ ), which can often be changed without affecting the underlying cardinal skeleton of the universe, the Axiom of Choice is fundamentally tied to the "well-orderedness" of the club filter. Violating Choice allows for "pathological" club filters; fixing Choice fixes the filters but breaks the cardinals.

Conclusion and Future Outlook

The paper concludes that we currently have no known system of buttons/switches that includes Choice-related properties and maintains independence.

Key Takeaways:

The modal logic of symmetric extensions is S4.2, matching the forcing multiverse.
However, the "geography" of this multiverse is more restricted than previously thought due to the cardinal-collapsing nature of restoring AC.
Future Work: The author points toward models of ZF + ¬SVC (where AC cannot be restored by a single set of forcing). These "deep" failures of choice might offer a different modal structure entirely.

For researchers in set theory and philosophical logic, this suggests that the "Possibility" of Choice comes with a heavy combinatorial price tag.

Find Similar Papers

Try Our Examples

Search for recent papers investigating the modal logic of set-theoretic multiverses that do not satisfy Small Violations of Choice (SVC).
How does the Fodor's Lemma failure construction in Karagila (2018) specifically interact with the preservation of stationary sets in symmetric extensions?
Explore if there are independent systems of buttons in ZF that rely on properties other than combinatorial traits of regular cardinals to avoid the collapse-on-choice restoration identified in this paper.

Contents

The Modal Logic of Symmetric Extensions: Why the Axiom of Choice is a Problematic Switch

1. TL;DR

2. Background: The Multiverse and S4.2

3. The Core Conflict: Choice vs. Cardinal Stability

3.1. The Mechanism of Failure

4. Methodology: Proving Non-Independence

5. Deep Insight: The Price of Choice

6. Conclusion and Future Outlook