Geodesic
The Tree Property at $\omega _2$ and Bounded Forcing Axioms
Sy-David Friedman1 ; Víctor Torres-Pérez2
1 Kurt Gödel Research Center Universität Wien Währinger Straße 25 A-1090 Wien, Austria
2 Institut für Diskrete Mathematik und Geometrie TU Wien Wiedner Haupstraße 8/104 1040 Wien, Austria
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 63 (2015) no. 3, pp. 207-216.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We prove that the Tree Property at $\omega _2$ together with $\mathrm {BPFA}$ is equiconsistent with the existence of a weakly compact reflecting cardinal, and if $\mathrm {BPFA}$ is replaced by $\mathrm {BPFA}(\omega _1)$ then it is equiconsistent with the existence of just a weakly compact cardinal. Similarly, we show that the Special Tree Property for $\omega _2$ together with $\mathrm {BPFA}$ is equiconsistent with the existence of a reflecting Mahlo cardinal, and if $\mathrm {BPFA}$ is replaced by $\mathrm {BPFA}(\omega _1)$ then it is equiconsistent with the existence of just a Mahlo cardinal.
DOI : 10.4064/ba8038-1-2016
Keywords: prove tree property omega together mathrm bpfa equiconsistent existence weakly compact reflecting cardinal mathrm bpfa replaced mathrm bpfa omega equiconsistent existence just weakly compact cardinal similarly special tree property omega together mathrm bpfa equiconsistent existence reflecting mahlo cardinal mathrm bpfa replaced mathrm bpfa omega equiconsistent existence just mahlo cardinal

Sy-David Friedman 1 ; Víctor Torres-Pérez 2

1 Kurt Gödel Research Center Universität Wien Währinger Straße 25 A-1090 Wien, Austria
2 Institut für Diskrete Mathematik und Geometrie TU Wien Wiedner Haupstraße 8/104 1040 Wien, Austria 
@article{10_4064_ba8038_1_2016,
     author = {Sy-David Friedman and V{\'\i}ctor Torres-P\'erez},
     title = {The {Tree} {Property} at $\omega _2$ and {Bounded} {Forcing} {Axioms}},
     journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
     pages = {207--216},
     publisher = {mathdoc},
     volume = {63},
     number = {3},
     year = {2015},
     doi = {10.4064/ba8038-1-2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/ba8038-1-2016/}
}
TY  - JOUR
AU  - Sy-David Friedman
AU  - Víctor Torres-Pérez
TI  - The Tree Property at $\omega _2$ and Bounded Forcing Axioms
JO  - Bulletin of the Polish Academy of Sciences. Mathematics
PY  - 2015
SP  - 207
EP  - 216
VL  - 63
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/ba8038-1-2016/
DO  - 10.4064/ba8038-1-2016
LA  - en
ID  - 10_4064_ba8038_1_2016
ER  - 
%0 Journal Article
%A Sy-David Friedman
%A Víctor Torres-Pérez
%T The Tree Property at $\omega _2$ and Bounded Forcing Axioms
%J Bulletin of the Polish Academy of Sciences. Mathematics
%D 2015
%P 207-216
%V 63
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/ba8038-1-2016/
%R 10.4064/ba8038-1-2016
%G en
%F 10_4064_ba8038_1_2016
Sy-David Friedman; Víctor Torres-Pérez. The Tree Property at $\omega _2$ and Bounded Forcing Axioms. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 63 (2015) no. 3, pp. 207-216. doi : 10.4064/ba8038-1-2016. http://geodesic.mathdoc.fr/articles/10.4064/ba8038-1-2016/

Cité par Sources :