Forcing axioms and the structure theory of Aronszajn trees
arXiv:2610.05574
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.
arXiv comment10 pages. Comments welcome