2610.05574

#1 Forcing axioms and the structure theory of Aronszajn trees [PDF] [Copy] [Kimi] [REL]

Authors: Justin Tatch Moore, Stevo Todorcevic

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.

Subject: Logic

Publish: 2026-10-04 22:19:19 UTC

---