Strong Surjectivity of Countryman Derived Orders Under PFA

Definitions and mathematical statement

For a linear order $L=(X,\leq_L)$, use the standard convention that $L$ is strongly surjective if, for every nonempty subset $A\subseteq X$ equipped with the induced order, there exists a surjection $f:X\to A$ such that \[ x\leq_L y\quad\Longrightarrow\quad f(x)\leq_L f(y) \qquad(x,y\in X). \] The restriction to nonempty suborders is explicit here; the supplied record does not state its convention about empty orders.

In the usual terminology, a Countryman line is a linear order $C$ of cardinality $\aleph_1$ whose square $C\times C$, ordered coordinatewise, is a union of countably many chains. Thus there are chains $K_n\subseteq C\times C$, for $n\in{\mathbb{N}}$, with \[ C\times C=\bigcup_{n\in{\mathbb{N}}}K_n, \qquad (c_0,c_1)\leq(d_0,d_1) \iff c_0\leq_C d_0\ \text{and}\ c_1\leq_C d_1. \] The Proper Forcing Axiom (PFA) asserts that, for every proper forcing partial order $\mathbb P$ and every family $(D_\xi)_{\xi<\omega_1}$ of dense subsets of $\mathbb P$, there is a filter on $\mathbb P$ meeting every $D_\xi$.

The supplied question asks whether, assuming PFA, the order $\eta_C$ constructed from a Countryman line $C$ is strongly surjective. Writing $X_C$ for its underlying set, the intended conclusion has the form \[ \forall A\subseteq X_C\; \left(A\ne\varnothing\ \Longrightarrow\ \exists f:X_C\twoheadrightarrow A\; \forall x,y\in X_C\, \left(x\leq_{\eta_C}y\Longrightarrow f(x)\leq_{\eta_C}f(y)\right)\right). \] This is a schematic formulation only: the supplied record does not define the construction of $\eta_C$, specify any additional requirements on $C$, or determine whether the assertion concerns every Countryman line, a selected line, or a particular construction up to isomorphism. Consequently, it does not determine a complete quantified assertion about a defined order. These omissions require source consultation and human mathematical review.

Short English statement

Assuming the Proper Forcing Axiom, must every nonempty suborder of the intended Countryman-derived order $\eta_C$ be the image of an order-preserving surjection from $\eta_C$? The supplied record omits the construction of $\eta_C$ and the scope of the choice of $C$, so the target remains incompletely specified.

Sources

• Local UnsolvedMath registry, permanent ID $30003403$, source problem code catalogue entry, titled "Strong Surjectivity of Countryman Derived Orders Under PFA," in the Oberwolfach Reports Open Problems collection. The record assigns proposed year 2017 and identifies no individual proposer. Its corrected_verified label is accompanied by a statement that notation, typography, and sentence structure were repaired while preserving mathematical content; this is supplied registry metadata, not independent verification of this draft.
• Supplied report citation: Set Theory (2018), Oberwolfach Reports, DOI 10.4171/owr/2017/11, pp. 527--589, https://doi.org/10.4171/owr/2017/11. The supplied background describes these reports as documenting mathematical workshops and their open-problem discussions. The citation's 2018 label and the record's 2017 provenance are retained without reconciliation.
• Supplied literature source, "Oberwolfach report": https://ems.press/content/serial-article-files/46674.
• Supplied literature source, "Polymeris--Martinez-Ranero": https://arxiv.org/abs/2503.13728. No paper title, theorem number, or precise passage is supplied.
• Literature assessment dated 2026-08-21: the supplied curation labels the problem open and reports that the primary source on Aronszajn lines still leaves the relevant question unanswered, while proving only a weaker PFA conclusion for fragmented Aronszajn lines. It reports that the exact assertion for $\eta_C$ remains open. This is supplied dated curation derived from the OWR material, not an independently verified literature assessment. The record expressly calls for independent verification of time-sensitive status and cited claims; no linked source has been visited for this draft.