Year: 2026
Type: preprint
Abstract: We study which structural results about Aronszajn trees require the Proper Forcing Axiom and which require only MA(aleph1). In particular, we show that MA(aleph1) is consistent with the existence of 2^aleph1 pairwise non-club-isomorphic coherent A-trees.
Source: arXiv (Cornell University)
Authors: Moore, Justin Tatch, Todorcevic, Stevo
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7220709394