arxiv: 2605.05462 · v1 · submitted 2026-05-06 · 🧮 math.LO

Recognition: unknown

A note on the modal logic of symmetric extensions

Hope Duncan

Pith reviewed 2026-05-08 15:33 UTC · model grok-4.3

classification 🧮 math.LO

keywords modal logicsymmetric extensionsaxiom of choiceforcingindependencebuttonschoice-switches

0 comments

The pith

Any independent system of choice-switches fails to be independent from standard independent button systems in the modal logic of symmetric extensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces choice-switches as a new notion for tracking choice-related properties across symmetric extensions of set-theoretic models. It then proves that no matter how one assembles an independent collection of these choice-switches, the collection remains dependent on at least one standard independent system of buttons. A reader cares because the result tightens the map of dependencies among choice principles inside the modal multiverse obtained by symmetric extensions, showing that certain new toggles cannot stand apart from older forcing-style controls. The argument relies on the existing modal semantics for symmetric extensions and shows the new objects fit inside that semantics rather than escaping it.

Core claim

We define the concept of choice-switches, and show any independent system of choice-switches is not itself independent from any standard example of an independent system of buttons.

What carries the argument

Choice-switches: modal properties that toggle the presence or absence of choice functions in symmetric extensions, shown to interact with button systems through the standard modal accessibility relation.

If this is right

Independence among choice principles in symmetric extensions is always constrained by at least one button-like system.
The modal multiverse of models with varying choice cannot treat choice-switches as fully separate from classical forcing controls.
Any attempt to isolate new choice toggles will still require reference to standard button configurations for full independence analysis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests that button systems may serve as a universal basis for all independence statements about choice in this modal setting.
One could test whether every choice principle expressible in symmetric extensions reduces to some combination of buttons and choice-switches.
If the dependence holds in all cases, future work on modal axioms for choice might safely treat buttons as the generating class.

Load-bearing premise

The standard modal logic framework for symmetric extensions correctly encodes the independence and dependence relations among choice-related properties and choice-switches behave exactly as those semantics predict.

What would settle it

Exhibit a concrete symmetric extension together with an independent family of choice-switches whose modal behavior is independent from every standard independent button system.

read the original abstract

Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular, we define the concept of of choice-switches, and show any independent system of choice-switches is not itself independent from any standard example of an independent system of buttons.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note defines choice-switches and proves that independent systems of them cannot be independent from standard button systems in the modal logic of symmetric extensions.

read the letter

The core point is that Duncan introduces choice-switches as a new notion in the modal logic of symmetric extensions and proves that any independent collection of them must depend on some standard independent button system. This is a clean negative result about how choice-related statements interact with forcing in the multiverse picture. The paper stays inside the existing framework rather than inventing new semantics or machinery. It takes the standard button-and-switch setup from prior work and extends it specifically to handle choice via symmetric extensions. The definition looks straightforward and the dependence claim follows directly from the modal semantics without extra assumptions. That keeps the argument short and focused, which suits a note. The writing situates the result in the literature without overreaching, and the theorem is stated precisely enough that a reader familiar with the area can see what is being shown. The main limitation is the narrow scope. This is a specific interaction fact rather than a general technique or a resolution of a broader open question. It tightens one corner of the multiverse structure but does not supply new tools or affect questions outside this modal approach. Readers working on other parts of set theory or forcing will not find direct use for it. The result is internally consistent with the framework it uses, and there is no sign of circularity or mismatched assumptions in the abstract statement. This paper is aimed at the small group of people who already read papers on modal logic of forcing and symmetric extensions. A specialist in that subfield will get value from the new definition and the dependence theorem. It deserves a serious referee because the claim is well-defined, the framework is standard, and the result adds a verifiable piece to the literature. A referee can check the proof details and decide whether it needs more examples or context. I would send it out for peer review.

Referee Report

0 major / 2 minor

Summary. The paper defines the notion of choice-switches in the modal logic of symmetric extensions and proves that any independent system of choice-switches fails to be independent from any standard independent system of buttons.

Significance. The result supplies a concrete negative independence statement about choice-related properties in the modal multiverse of symmetric extensions. It directly extends the established button-and-switch framework to the choice context without introducing new parameters or ad-hoc axioms, and the proof is internal to the modal semantics. This is a modest but precise contribution that clarifies interaction between forcing modalities and the axiom of choice.

minor comments (2)

§2: The definition of a choice-switch is given only schematically; an explicit example in a concrete symmetric extension (e.g., the basic Cohen model or a Fraenkel-Mostowski model) would make the notion easier to verify.
The statement of the main theorem could be rephrased to make the quantifiers over systems explicit, matching the wording in the abstract.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our paper and for recommending minor revision. The contribution is indeed a precise negative independence result connecting choice-switches to the established button framework in the modal logic of symmetric extensions. We will incorporate any minor editorial suggestions in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces the new concept of choice-switches and proves a theorem showing that any independent system of them fails to be independent from standard independent button systems, all within the pre-existing modal logic framework for symmetric extensions. The derivation applies the standard semantics of buttons and switches to the new choice-related statements without any equations or definitions reducing to fitted parameters, self-referential loops, or load-bearing self-citations. The framework is invoked as established in the literature, and the central negative result about independence relations is a direct consequence of the modal semantics rather than a renaming or smuggling of prior results by the same authors. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on the standard background of ZF set theory, the modal logic of forcing, and the prior literature on buttons; it introduces choice-switches as a defined notion without external falsifiable evidence.

axioms (2)

standard math ZF set theory (or ZFC) as the ambient theory for symmetric extensions
Symmetric extensions are constructed inside ZF; the modal logic is interpreted over models of ZF.
domain assumption The standard modal semantics for forcing and symmetric extensions
The paper studies the multiverse using the usual Kripke-style or forcing-based modal logic.

invented entities (1)

choice-switches no independent evidence
purpose: To represent toggling of the axiom of choice across symmetric extensions
Newly defined in the paper; no independent evidence outside the modal framework is supplied.

pith-pipeline@v0.9.0 · 5339 in / 1415 out tokens · 73236 ms · 2026-05-08T15:33:55.992809+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references

[1]

Injectivity, projectivity, and the axiom of choice.Trans

Andreas Blass. Injectivity, projectivity, and the axiom of choice.Trans. Amer. Math. Soc., 255:31–59, 1979

1979
[2]

Block and Benedikt Loewe

Alexander C. Block and Benedikt Loewe. Modal logics and mulitverses, 2015

2015
[3]

On the set-generic multiverse

Sy-David Friedman, Sakaé Fuchino, and Hiroshi Sakai. On the set-generic multiverse. InThe hyperuniverse project and maximality, pages 109–124. Birkhäuser/Springer, Cham, 2018

2018
[4]

M. Gitik. All uncountable cardinals can be singular.Israel J. Math., 35(1-2):61–88, 1980

1980
[5]

The modal logic of forcing.Trans

Joel David Hamkins and Benedikt Löwe. The modal logic of forcing.Trans. Amer. Math. Soc., 360(4):1793–1817, 2008

2008
[6]

Intermediate models with deep failure of choice, 2024

Yair Hayut and Assaf Shani. Intermediate models with deep failure of choice, 2024

2024
[7]

Compatibility ofSVCand reinhardtness

Gabe Goldberg (https://mathoverflow.net/users/102684/gabe gold- berg). Compatibility ofSVCand reinhardtness. MathOverflow. URL:https://mathoverflow.net/q/436013 (version: 2022-12-06)

2022
[8]

Springer, 2003

Thomas Jech.Set Theory: The Third Millennium Edition. Springer, 2003

2003
[9]

Karagila

A. Karagila. Fodor’s lemma can fail everywhere.Acta Math. Hungar., 154(1):231–242, 2018

2018
[10]

The Morris model.Proc

Asaf Karagila. The Morris model.Proc. Amer. Math. Soc., 148(3):1311–1323, 2020

2020
[11]

Approaching a Bristol model.Bull

Asaf Karagila. Approaching a Bristol model.Bull. Symb. Log., 32(1):1–46, 2026

2026
[12]

Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?Fund

Asaf Karagila and Calliope Ryan-Smith. Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?Fund. Math., 267(3):231–241, 2024

2024
[13]

A. Lévy. The interdependence of certain consequences of the axiom of choice.Fund. Math., 54:135–157, 1964

1964
[14]

The Hartogs-Lindenbaum spectrum of symmetric extensions

Calliope Ryan-Smith. The Hartogs-Lindenbaum spectrum of symmetric extensions. MLQ Math. Log. Q., 70(2):210–223, 2024

2024
[15]

Eccentricity, extendable choice and descending distributive forcing, 2025

Calliope Ryan-Smith. Eccentricity, extendable choice and descending distributive forcing, 2025

2025
[16]

Choiceless Löwenheim-Skolem property and uniform definability of grounds

Toshimichi Usuba. Choiceless Löwenheim-Skolem property and uniform definability of grounds. InAdvances in mathematical logic, volume 369 ofSpringer Proc. Math. Stat., pages 161–179. Springer, Singapore, [2021]©2021

2021