pith. sign in

arxiv: 2507.19129 · v2 · submitted 2025-07-25 · 🧮 math.LO

Higher Solovay Models

Cesare Straffelini , Sebastiano Thei This is my paper

Pith reviewed 2026-05-19 03:36 UTC · model grok-4.3

classification 🧮 math.LO
keywords Solovay modelsκ-Solovay modelsinner modelselementary equivalenceaxiomatizationset theorylarge cardinalsregularity properties
0
0 comments X

The pith

An axiomatization defines when models of the form L(V_{κ+1})^M qualify as κ-Solovay models and establishes their elementary equivalence.

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

The paper introduces a set of axioms that determine when an inner model constructed as L(V_{κ+1}) inside a larger model M qualifies as a κ-Solovay model. It supplies a characterization theorem that identifies precisely which constructions satisfy these axioms. The work concludes by proving that any two models meeting the definition are elementarily equivalent. A reader would care because this supplies a uniform framework for studying regularity properties at arbitrary cardinals κ rather than only at the level of the reals.

Core claim

The central claim is that there is a natural axiomatization of the property that makes a model of the form L(V_{κ+1})^M into a κ-Solovay model; this axiomatization admits a clean characterization, and any two models satisfying it are elementarily equivalent.

What carries the argument

The axiomatization of κ-Solovay models for structures of the form L(V_{κ+1})^M, which isolates the regularity properties that generalize the classical Solovay construction.

If this is right

  • All κ-Solovay models satisfy exactly the same first-order sentences.
  • The characterization theorem gives a concrete test for whether a given inner model L(V_{κ+1})^M meets the definition of a κ-Solovay model.
  • The axiomatization extends the classical Solovay model uniformly to any cardinal κ that admits the required background assumptions.

Where Pith is reading between the lines

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

  • Theorems established inside one κ-Solovay model transfer automatically to any other via elementary equivalence.
  • The framework may simplify arguments that previously required separate constructions for each cardinal level.
  • One could check the axioms directly in known models obtained from large-cardinal hypotheses to produce concrete examples.

Load-bearing premise

The background theory contains a model M in which V_{κ+1} exists and L(V_{κ+1})^M can be formed while satisfying the regularity properties that generalize the classical Solovay construction.

What would settle it

An explicit pair of models M and M' together with an inaccessible cardinal κ such that both L(V_{κ+1})^M and L(V_{κ+1})^{M'} satisfy the proposed axioms yet disagree on some first-order sentence in the language of set theory.

read the original abstract

We introduce an axiomatisation of when a model of the form $L(V_{\kappa+1})^M$ can be considered a ``$\kappa$-Solovay model''; we show a characterisation of $\kappa$-Solovay models; and we prove elementary equivalences between $\kappa$-Solovay models.

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.

Referee Report

0 major / 2 minor

Summary. The paper introduces an axiomatization for when a model of the form L(V_{κ+1})^M qualifies as a κ-Solovay model. It provides a characterization of such models and proves elementary equivalences between different κ-Solovay models.

Significance. If the results hold, this work offers a systematic framework for generalizing classical Solovay models to higher levels using inner models L(V_{κ+1})^M. This could facilitate comparisons of regularity properties and determinacy at inaccessible cardinals and beyond, building on standard large-cardinal assumptions.

minor comments (2)
  1. [Section 3] The axiomatization in the main theorem could benefit from an explicit list of the axioms in a dedicated subsection for easier reference.
  2. [Introduction] Notation for the ambient model M and the inner model L(V_{κ+1})^M is introduced gradually; a preliminary notation table would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our results on axiomatizations and characterizations of κ-Solovay models, and for recommending minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; standard definitional and equivalence results in set theory

full rationale

The paper introduces an axiomatisation for models of the form L(V_{κ+1})^M to qualify as κ-Solovay models, then derives a characterisation and proves elementary equivalences between such models. These steps are self-contained mathematical definitions and theorems within the ambient large-cardinal framework (explicitly requiring a suitable M with V_{κ+1} existing). No step reduces a claimed prediction or result to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The background assumptions are standard prerequisites for Solovay-type constructions and do not create internal circularity once stated. The derivation chain consists of independent set-theoretic arguments that do not collapse to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard large-cardinal assumptions from the Solovay-model literature plus the new axiomatization introduced for the κ-level.

axioms (1)
  • domain assumption Existence of a model M containing V_{κ+1} such that L(V_{κ+1})^M satisfies generalized Solovay regularity properties.
    Required for the models under study to exist; standard in the area but not proved inside the paper.

pith-pipeline@v0.9.0 · 5559 in / 1215 out tokens · 44757 ms · 2026-05-19T03:36:16.344417+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Solovay-like model at $\aleph_\omega$

    math.LO 2025-09 unverdicted novelty 8.0

    From large cardinals, constructs a model where aleph_omega is strong limit, L(P(aleph_omega)) has aleph_omega-PSP, no scales, SCH and AP fail, TP holds at aleph_omega+1, answering Woodin's question on SCH vs AP.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · cited by 1 Pith paper

  1. [1]

    Agostini, F

    C. Agostini, F. Barrera and V. Dimonte, On the problem of generalized measures: an impos- sibility result, in preparation (2025+)

    work page 2025

  2. [2]

    Bagaria and R

    J. Bagaria and R. Bosch, Proper forcing extensions and Solovay models, Arch. Math. Logic 43, No. 6, 739–750 (2004)

    work page 2004

  3. [3]

    Bagaria and R

    J. Bagaria and R. Bosch, Solovay models and forcing extensions, J. Symb. Log. 69, No. 3, 742–766 (2004)

    work page 2004

  4. [4]

    Barrera, V

    F. Barrera, V. Dimonte and S. M¨ uller, The λ-PSP at λ-coanalytic sets, submitted to the arXiv, https://arxiv.org/abs/2504.15675 (2025)

    work page arXiv 2025

  5. [5]

    J. L. Bell, Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. (Oxford: Clarendon Press, 2011)

    work page 2011

  6. [6]

    Bagaria and W

    J. Bagaria and W. H. Woodin, ∆1 n sets of reals, J. Symb. Log. 62, No. 4, 1379–1428 (1997)

    work page 1997

  7. [7]

    S. S. Cramer, Inverse limit reflection and the structure of L(Vλ+1), J. Math. Log. 15, No. 1 (2015)

    work page 2015

  8. [8]

    Dimonte, M

    V. Dimonte, M. Iannella and P. L¨ ucke, Descriptive properties of I2-embeddings, submitted to the arXiv, https://arxiv.org/abs/2311.00376 (2023)

    work page arXiv 2023

  9. [9]

    Dimonte, I0 and rank-into-rank axioms, Boll

    V. Dimonte, I0 and rank-into-rank axioms, Boll. Unione Mat. Ital. 11, No. 3, 315–361 (2018)

    work page 2018

  10. [10]

    Dimonte and L

    V. Dimonte and L. Motto Ros, Generalized Descriptive Set Theory at singular cardinals , in preparation (2025+)

    work page 2025

  11. [11]

    Dimonte, L

    V. Dimonte, L. Motto Ros and X. Shi, Generalized Descriptive Set Theory at singular car- dinals II., in preparation (2025+)

    work page 2025

  12. [12]

    Dimonte, A

    V. Dimonte, A. Poveda and S. Thei, The Baire and perfect set properties at singular cardinals, submitted to the arXiv, https://arxiv.org/abs/2408.05973 (2024)

    work page arXiv 2024

  13. [13]

    Friedman, T

    S.-D. Friedman, T. Hyttinen and V. Kulikov, Generalized descriptive set theory and classi- fication theory. (Providence, RI: American Mathematical Society (AMS), 2014)

    work page 2014

  14. [14]

    Friedman, R

    S.-D. Friedman, R. Honzik and ˇS. Stejskalov´ a, The tree property at the double successor of a singular cardinal with a larger gap, Ann. Pure Appl. Logic 169, No. 6, 548–564 (2018)

    work page 2018

  15. [15]

    Foreman and W

    M. Foreman and W. H. Woodin, The generalized continuum hypothesis can fail everywhere, Ann. Math. (2) 133, No. 1, 1–35 (1991)

    work page 1991

  16. [16]

    Karagila, Lecture Notes: Forcing & Symmetric Extensions , found online at https://karagila.org/files/Forcing-2023.pdf, unpublished (2023)

    A. Karagila, Lecture Notes: Forcing & Symmetric Extensions , found online at https://karagila.org/files/Forcing-2023.pdf, unpublished (2023)

    work page 2023

  17. [17]

    Kechris, Classical descriptive set theory (Berlin: Springer-Verlag, 1995)

    A. Kechris, Classical descriptive set theory (Berlin: Springer-Verlag, 1995)

    work page 1995

  18. [18]

    Koellner, Large Cardinals and Determinacy, The Stanford Encyclopedia of Philosophy (Spring 2014 Edition)

    P. Koellner, Large Cardinals and Determinacy, The Stanford Encyclopedia of Philosophy (Spring 2014 Edition)

    work page 2014

  19. [19]

    Kunen, Set theory (London: College Publications, 2011)

    K. Kunen, Set theory (London: College Publications, 2011)

    work page 2011

  20. [20]

    Merimovich, Supercompact extender based Pˇ r´ ıkr´ y forcing,Arch

    C. Merimovich, Supercompact extender based Pˇ r´ ıkr´ y forcing,Arch. Math. Logic 50, No. 5-6, 591-602 (2011). HIGHER SOLOV AY MODELS 29

    work page 2011

  21. [21]

    Pˇ r´ ıkr´ y, Changing measurable into accessible cardinals,Diss

    K. Pˇ r´ ıkr´ y, Changing measurable into accessible cardinals,Diss. Math. 68 (1970)

    work page 1970

  22. [22]

    Poveda, A

    A. Poveda, A. Rinot and D. Sinapova, Sigma-Pˇ r´ ıkr´ y forcing. I: The axioms,Can. J. Math. 73, No. 5, 1205-1238 (2021)

    work page 2021

  23. [23]

    Poveda, A

    A. Poveda, A. Rinot and D. Sinapova, Sigma-Pˇ r´ ıkr´ y forcing. II: Iteration scheme,J. Math. Log. 22, No. 3 (2022)

    work page 2022

  24. [24]

    Poveda, A

    A. Poveda, A. Rinot and D. Sinapova, Sigma-Pˇ r´ ıkr´ y forcing. III: Down toℵω, Adv. Math. 435, Part A (2023)

    work page 2023

  25. [25]

    Shi, Axiom I0 and higher degree theory, J

    X. Shi, Axiom I0 and higher degree theory, J. Symb. Log. 80, No. 3, 970-1021 (2015)

    work page 2015

  26. [26]

    R. M. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Ann. Math. (2) 92, 1–56 (1970)

    work page 1970

  27. [27]

    Shelah and W

    S. Shelah and W. H. Woodin, Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable, Isr. J. Math. 70, No. 3, 381-394 (1990)

    work page 1990

  28. [28]

    W. H. Woodin, Suitable extender models. II: beyond ω-huge, J. Math. Log. 11, No. 2, 115-436 (2011). Departament de Matem`atiques i Informatica, Universitat de Barcelona, Gran Via de les Corts Catalanes, 585, 08007 Barcelona, Catalunya; & Dipartimento di Matematica, Universit`a degli Studi di Trento, Via Sommarive, 14, 38123 Povo (Trento), Italia Email add...

    work page 2011