Zobrazeno 1 - 10
of 169
pro vyhledávání: '"Proper forcing axiom"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
VELIČKOVIĆ, BOBAN
Publikováno v:
Proceedings of the American Mathematical Society, 2018 Feb 01. 146(2), 791-802.
Externí odkaz:
https://www.jstor.org/stable/90016839
Autor:
LAMBIE-HANSON, CHRIS
Publikováno v:
The Journal of Symbolic Logic, 2017 Sep 01. 82(3), 834-859.
Externí odkaz:
https://www.jstor.org/stable/26600264
Autor:
Dow, Alan, Hart, Klaas Pieter
Publikováno v:
Transactions of the American Mathematical Society, 2001 May 01. 353(5), 1819-1838.
Externí odkaz:
https://www.jstor.org/stable/221796
Autor:
Teruyuki Yorioka, Tadatoshi Miyamoto
Publikováno v:
Archive for Mathematical Logic. 60:737-748
Moore introduced the Mapping Reflection Principle and proved that the Bounded Proper Forcing Axiom implies that the size of the continuum is $$\aleph _2$$ . The Mapping Reflection Principle follows from the Proper Forcing Axiom. To show this, Moore u
Publikováno v:
Periodica Mathematica Hungarica. 84:250-258
We study the Galvin property. We show that various square principles imply that the cofinality of the Galvin number is uncountable (or even greater than $$\aleph _1$$ ). We prove that the proper forcing axiom is consistent with a strong negation of t
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
David Asperó, Asaf Karagila
Publikováno v:
The Review of Symbolic Logic. 14:225-249
We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to DC-preserving symmetr
Autor:
Tadatoshi Miyamoto, Teruyuki Yorioka
Publikováno v:
Fundamenta Mathematicae. 251:35-68
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.