92 citations · 241 across the 21 of their papers we have counts for
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Forcing axioms and the structure theory of Aronszajn trees
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 wit…
math.LO2026
Merging with other nonvanishing constructions
Nathaniel Bannister, Justin Tatch Moore
We develop methods for forcing , where is a particular inverse system of abelian groups introduced by Mardešić and Prasolov in their computati…