{"id":"arxiv/2607.23757","url":"https://arxiv.org/abs/2607.23757","tags":["math.LO"],"score":0,"title":"Countryman Lines and the Continuum Hypothesis","domain":"math.LO","source":"arxiv","authors":["John Krueger","Eduardo Martinez Mendoza"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}