Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.05582

Countryman basis and club-isomorphisms under MA$(ω_1)$

Lucas Polymeris
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that unlike $\textsf{PFA}$, $\textsf{MA}_{ω_{1}}$ is consistent with the existence of $2^{ω_{1}}$-many Countryman lines which pairwise contain no uncountable isomorphic or reverse-isomorphic suborders. This clarifies an issue regarding the claim that $\textsf{MA}_{ω_{1}}$ implies that there is a finite basis for the Countryman lines. The family of Countryman lines comes from a family of $2^{ω_{1}}$-many coherent trees which pairwise contain no club-isomorphic subtrees. To prove this, we first construct such a family of trees using $\diamondsuit$, and then we iterate ccc forcings while preserving this property.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lucas Polymeris. 2026-10-04. Countryman basis and club-isomorphisms under MA$(ω_1)$. https://arxiv.org/abs/2610.05582

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Type $ω$-Vaught's Conjecture for $ω$-stable Theories

We propose a new variant of Vaught's conjecture, based on Martin's (model-theoretic) conjecture and the $ω$-Vaught's conjecture of Gonzalez and Montalbán. For $ω$-stable theories, we prove the conjecture by analyzing in detail Bouscaren's and Shelah-Harrington-Makkai's proofs of Martin's conjecture and Vaught's conjecture, respectively, for $ω$-stable theories. In particular, when there are countably many countable models, we improve the required number of quantifiers for a Scott sentence from $ω+ω$ to $ω+5$, and we obtain a similar bound of $ω+6$ for the uncountable case.

math.LO↗
arXiv2026

Coanalytic subfields of the reals of every Hausdorff dimension

An analytic subring of $\mathbb{R}$ has Hausdorff dimension $0$ or is equal to $\mathbb{R}$, by a theorem of Edgar--Miller and Bourgain. We show that this fails for coanalytic subfields in the constructible universe: if $V=L$, then for every $α\in[0,1]$ there is a proper coanalytic subfield of $\mathbb{R}$ of Hausdorff dimension $α$. In fact there is a single parameter-free $Π^1_1$ set $G\subseteq[0,1]\times\mathbb{R}$ whose sections $A(α)$ are such fields, are strictly increasing in $α$, and satisfy $A(α)=\bigcup_{r<α}A(r)$ for $α>0$.

math.LO↗