{"id":"arxiv/2610.05574","url":"https://arxiv.org/abs/2610.05574","tags":["math.LO"],"score":0,"title":"Forcing axioms and the structure theory of Aronszajn trees","domain":"math.LO","source":"arxiv","authors":["Justin Tatch Moore","Stevo Todorcevic"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-04","reactions":{}}