Geodesic
The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond
Arthur W. Apter1
1 Department of Mathematics Baruch College of CUNY New York, NY 10010, U.S.A. and The CUNY Graduate Center, Mathematics 365 Fifth Avenue New York, NY 10016, U.S.A. <a href="https://orcid.org/0000-0002-7091-3628">ORCID: 0000-0002-7091-3628</a>
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 68 (2020) no. 1, pp. 1-10.

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

We construct via forcing a model for the level by level equivalence between strong compactness and supercompactness in which both $V = {\rm HOD}$ and the Ground Axiom (GA) are true. In our model, various versions of the combinatorial principles $\square $ and $\diamondsuit $ hold. In the model constructed, there are no restrictions on the class of supercompact cardinals.
DOI : 10.4064/ba180529-14-3
Keywords: construct via forcing model level level equivalence between strong compactness supercompactness which hod ground axiom model various versions combinatorial principles square nbsp diamondsuit model constructed there restrictions class supercompact cardinals

Arthur W. Apter 1

1 Department of Mathematics Baruch College of CUNY New York, NY 10010, U.S.A. and The CUNY Graduate Center, Mathematics 365 Fifth Avenue New York, NY 10016, U.S.A. <a href="https://orcid.org/0000-0002-7091-3628">ORCID: 0000-0002-7091-3628</a> 
@article{10_4064_ba180529_14_3,
     author = {Arthur W. Apter},
     title = {The consistency of level by level equivalence with $V = {\rm HOD}$, the {Ground} {Axiom,} and instances of square and diamond},
     journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
     pages = {1--10},
     publisher = {mathdoc},
     volume = {68},
     number = {1},
     year = {2020},
     doi = {10.4064/ba180529-14-3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/ba180529-14-3/}
}
TY  - JOUR
AU  - Arthur W. Apter
TI  - The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond
JO  - Bulletin of the Polish Academy of Sciences. Mathematics
PY  - 2020
SP  - 1
EP  - 10
VL  - 68
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/ba180529-14-3/
DO  - 10.4064/ba180529-14-3
LA  - en
ID  - 10_4064_ba180529_14_3
ER  - 
%0 Journal Article
%A Arthur W. Apter
%T The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond
%J Bulletin of the Polish Academy of Sciences. Mathematics
%D 2020
%P 1-10
%V 68
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/ba180529-14-3/
%R 10.4064/ba180529-14-3
%G en
%F 10_4064_ba180529_14_3
Arthur W. Apter. The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 68 (2020) no. 1, pp. 1-10. doi : 10.4064/ba180529-14-3. http://geodesic.mathdoc.fr/articles/10.4064/ba180529-14-3/

Cité par Sources :