Countryman Lines and the Continuum Hypothesis
We explore the prospect of basis-like results for the class of Aronszajn lines which are consistent with the Continuum Hypothesis (CH). In particular, we prove that each of the following statements is consistent with CH: Any two Countryman lines contain isomorphic or anti-isomorphic uncountable suborders; for any coherent Aronszajan tree $T \subseteq {}^{< ω_1} ω$, the filter $\mathcal{U}(T)$ is an ultrafilter. The first result confirms a conjecture of Shelah in the context of CH which was previously shown to follow from the Proper Forcing Axiom. On the other hand, the weak diamond principle…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.23757
curl -X POST /api/v1/records/arxiv/2607.23757/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.23757/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'