We show that MRP + MA implies that ITP(λ, ω 2 ) holds for all cardinal λ ≥ ω 2 . This generalizes a result by Weiß who showed that PFA implies that ITP(λ, ω 2 ) holds for all cardinal λ ≥ ω 2 .
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback