Some consequences from Proper Forcing Axiom together with large continuum and the negation of Martin's Axiom

DOI IR Web Site 21 References

Search this article

Abstract

<p>Recently, David Asperó and Miguel Angel Mota discovered a new method of iterated forcing using models as side conditions. The side condition method with models was introduced by Stevo Todorčević in the 1980s. The Asperó–Mota iteration enables us to force some Π2-statements over H(ℵ2) with the continuum greater than ℵ2. In this article, by using the Asperó–Mota iteration, we prove that it is consistent that ℧ fails, there are no weak club guessing ladder systems, 𝔭 = add($\mathcal{N}$) = 2ℵ0 > ℵ2 and MAℵ<sub>1</sub> fails.</p>

Journal

References(21)*help

See more

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top