Some consequences from Proper Forcing Axiom together with large continuum and the negation of Martin's Axiom
-
- Yorioka Teruyuki
- Department of Mathematics, Shizuoka University
この論文をさがす
抄録
<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 of the Mathematical Society of Japan
-
Journal of the Mathematical Society of Japan 69 (3), 913-943, 2017
一般社団法人 日本数学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282680092564096
-
- NII論文ID
- 130005906733
-
- NII書誌ID
- AA0070177X
-
- ISSN
- 18811167
- 18812333
- 00255645
-
- NDL書誌ID
- 028374025
-
- 本文言語コード
- en
-
- データソース種別
-
- JaLC
- IRDB
- NDL
- Crossref
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可