Aronszajn-Line Universality and the Size of the Continuum

Definitions and mathematical statement

The source discusses PFA (the Proper Forcing Axiom), a universal Aronszajn line $\eta_C$, and the question whether universality or well-quasi-ordering by embeddability forces \[ |{\mathbb{R}}|=2^{\aleph_0}\le\aleph_2. \] A standard Aronszajn line has cardinality $\aleph_1$, no suborder of type $\omega_1$ or its reverse, and no uncountable separable suborder. An order embedding preserves and reflects the linear order. Universality of $\eta_C$ means that every Aronszajn line embeds into it. Well-quasi-ordering by embeddability means that every sequence $(L_i)_{i\in{\mathbb{N}}}$ of Aronszajn lines has $i<j$ with $L_i$ embedding into $L_j$.

The retained original says "under the report's setting of PFA," whereas the restored statement begins "Assume PFA." This creates a crucial logical-scope issue. In the standard ZFC setting, PFA itself already entails $2^{\aleph_0}=\aleph_2$. Retaining PFA as a standing assumption therefore does not give a nontrivial reverse implication from either order-theoretic assertion to the displayed bound.

A potentially intended research question, to be confirmed rather than silently substituted, is whether over a weaker background such as ZFC either of the following separate implications holds: \[ \eta_C\text{ is universal for Aronszajn lines} \quad\Longrightarrow\quad2^{\aleph_0}\le\aleph_2, \] \[ \text{Aronszajn lines are wqo under embeddability} \quad\Longrightarrow\quad2^{\aleph_0}\le\aleph_2. \] The source does not define $C$, the construction of $\eta_C$ independently of PFA, or the actual background assumptions for such implications. It also does not say whether some universal Aronszajn line or this particular constructed line is intended. Both original alternatives and the explicit PFA wording remain recorded, with no nontrivial converse theorem asserted.

Short English statement

The source asks whether Aronszajn-line universality or well-quasi-ordering forces continuum at most $\aleph_2$. Its restored standing assumption PFA already supplies that bound, so the intended weaker-background implication and the definition of $\eta_C$ need source clarification.

Sources

• Local UnsolvedMath registry, permanent ID 30000908, code catalogue entry, "Aronszajn-Line Universality and the Size of the Continuum." Proposed year 2008; proposer unspecified.
• Set Theory (2008), Oberwolfach Reports, pp. 79--118, DOI 10.4171/owr/2008/02; https://doi.org/10.4171/owr/2008/02.
• Supplied "Moore survey": https://pi.math.cornell.edu/~justin/Ftp/c_aleph2.pdf.
• Statement status corrected_verified; the supplied note says the forcing assumption, alternatives, and bound were made explicit and report narration removed. The contextual-versus-standing PFA distinction still requires review.
• Literature triage checked 2026-08-21: open. It reports the universality/wqo conclusions under strong forcing axioms but calls their implication to the continuum bound unresolved. This concerns an intended weaker-background formulation, if any, rather than resolving the literal PFA scope. Created 2026-08-25; updated 2026-09-16. Exact statement and current status require independent verification.
• Registry curation by Ulam AI / UnsolvedMath Contributors, CC BY 4.0; underlying report and literature provenance remain as supplied. Unreviewed statement-only draft.