Martin's Axiom, Large Continuum and Global Sigma¹_n-Uniformization
Pith reviewed 2026-05-21 01:25 UTC · model grok-4.3
The pith
Forcing over L produces a model of Martin's Axiom with continuum aleph three, a lightface Delta one three wellorder of the reals, and Sigma one n uniformization for every n at least two.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct a generic extension of L satisfying Martin's Axiom, 2 to the aleph zero equals aleph three, a lightface Delta one three wellorder of the reals, and Sigma one n uniformization for every n greater than or equal to two simultaneously.
What carries the argument
A generic extension of the constructible universe L that simultaneously enforces Martin's Axiom, sets the continuum to aleph three, adds a lightface definable wellorder, and secures projective uniformization.
If this is right
- Martin's Axiom is consistent with a continuum of size aleph three.
- A lightface Delta one three wellorder of the reals is compatible with Martin's Axiom.
- Projective uniformization holds at all levels n at least two in the presence of Martin's Axiom and large continuum.
- The listed properties can be obtained together in one forcing extension rather than requiring separate constructions.
Where Pith is reading between the lines
- This model may serve as a base for adding further regularity properties at higher projective levels without collapsing the continuum size.
- The construction suggests that similar forcing techniques could be adapted to obtain uniformization while controlling other cardinal invariants of the continuum.
- If the wellorder and uniformization survive further forcing iterations, the model could be used to separate additional statements in descriptive set theory from forcing axioms.
Load-bearing premise
The chosen forcing over L can be arranged to preserve or add all the listed properties at once without destroying the wellorder or uniformization features.
What would settle it
A proof that any forcing extension of L satisfying Martin's Axiom and continuum size aleph three must either destroy the lightface Delta one three wellorder or fail to obtain Sigma one n uniformization for some n at least two.
read the original abstract
We construct a generic extension of $L$ satisfying Martin's Axiom, $2^{\aleph_0}=\aleph_3$, a lightface $\Delta^1_3$ wellorder of the reals, and $\Sigma^1_n$-uniformization for every $n\geq 2$ simultaneously.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to construct a generic extension of L satisfying Martin's Axiom, 2^{ℵ₀}=ℵ₃, a lightface Δ¹₃ wellorder of the reals, and Σ¹ₙ-uniformization for every n≥2 simultaneously.
Significance. If the forcing construction can be shown to preserve all listed properties at once, the result would establish a model combining a forcing axiom with large continuum and global uniformization principles under a definable wellorder, which is a non-trivial combination in the study of definability and axioms of set theory.
major comments (1)
- Abstract: The central existence claim rests on a forcing poset over L that simultaneously preserves MA, the continuum size, the lightface Δ¹₃ wellorder, and all Σ¹ₙ-uniformization properties for n≥2; without the explicit definition of the poset or the preservation arguments, this load-bearing construction cannot be verified for internal consistency or for avoiding destruction of the uniformization or wellorder features.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for acknowledging the potential significance of combining Martin's Axiom with a large continuum, a lightface Δ¹₃ wellorder, and global Σ¹ₙ-uniformization. We address the single major comment below.
read point-by-point responses
-
Referee: Abstract: The central existence claim rests on a forcing poset over L that simultaneously preserves MA, the continuum size, the lightface Δ¹₃ wellorder, and all Σ¹ₙ-uniformization properties for n≥2; without the explicit definition of the poset or the preservation arguments, this load-bearing construction cannot be verified for internal consistency or for avoiding destruction of the uniformization or wellorder features.
Authors: The abstract is intended only as a concise statement of the main theorem. The full manuscript defines the forcing poset explicitly (a countable-support iteration of length ω₃ that incorporates both the standard MA forcing and additional components to maintain the definable wellorder and uniformization properties) and provides detailed preservation arguments in Sections 3–5. These arguments show that the iteration preserves the lightface Δ¹₃ wellorder of the reals (by ensuring that the wellorder remains absolute between L and the extension) and that Σ¹ₙ-uniformization holds for all n ≥ 2 (by a fusion argument that controls the uniformizing functions at each stage). The construction is designed so that none of the listed properties is destroyed. revision: no
Circularity Check
No circularity in abstract forcing construction
full rationale
The paper's abstract presents an explicit construction of a generic extension of L that simultaneously satisfies Martin's Axiom, 2^aleph_0 = aleph_3, a lightface Delta^1_3 wellorder of the reals, and Sigma^1_n-uniformization for all n >= 2. No equations, fitted parameters, self-citations, or definitional reductions are stated in the available text. The claim is a standard model-theoretic existence result via iterated forcing over L, which remains self-contained without reducing any output to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math ZFC set theory and the constructible universe L
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We construct a generic extension of L satisfying Martin’s Axiom, 2^ℵ₀=ℵ₃, a lightface Δ¹₃ wellorder of the reals, and Σ¹ₙ-uniformization for every n≥2 simultaneously.
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.
Reference graph
Works this paper leans on
-
[1]
J. Addison. Some consequences of the axiom of constructibility.Fundamenta Mathe- maticae, 46:337–357, 1959
work page 1959
-
[2]
M. G. Bell. On the combinatorial principleP(c).Fund. Math., 114:149–157, 1981
work page 1981
-
[3]
Vera Fischer, Sy David Friedman, and Lyubomyr Zdomskyy. Cardinal characteris- tics, projective wellorders and large continuum.Annals of Pure and Applied Logic, 164(7):763–770, 2013
work page 2013
-
[4]
D. H. Fremlin.Consequences of Martin’s Axiom, volume 84 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1984
work page 1984
- [5]
- [6]
- [7]
- [8]
- [9]
- [10]
- [11]
- [12]
- [13]
-
[14]
T. Jech.Set Theory. Springer Monographs in Mathematics. Springer Berlin, 3rd millennium edition, 2003
work page 2003
-
[15]
Kechris.Classical Descriptive Set Theory
A. Kechris.Classical Descriptive Set Theory. Springer, 1995. 20
work page 1995
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.