Geodesic
HOD-supercompactness, Indestructibility, and Level by Level Equivalence
Arthur W. Apter1 ; Shoshana Friedman2
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.
2 Department of Mathematics and Computer Science Kingsborough Community College-CUNY 2001 Oriental Blvd, Brooklyn, NY 11235, U.S.A.
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 62 (2014) no. 3, pp. 197-209.

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

In an attempt to extend the property of being supercompact but not HOD-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not HOD-supercompact holds for the least supercompact cardinal $\kappa _0$, $\kappa _0$ is indestructibly supercompact, the strongly compact and supercompact cardinals coincide except at measurable limit points, and level by level equivalence between strong compactness and supercompactness holds above $\kappa _0$ but fails below $\kappa _0$. Additionally, we get the property of being supercompact but not HOD-supercompact at the least supercompact cardinal, in a model where level by level equivalence between strong compactness and supercompactness holds.
DOI : 10.4064/ba62-3-1
Keywords: attempt extend property being supercompact hod supercompact proper class indestructibly supercompact cardinals theorem discovered about proper class indestructibly supercompact cardinals which reveals surprising incompatibility however still possible force get model which property being supercompact hod supercompact holds least supercompact cardinal kappa kappa indestructibly supercompact strongly compact supercompact cardinals coincide except measurable limit points level level equivalence between strong compactness supercompactness holds above kappa fails below kappa additionally get property being supercompact hod supercompact least supercompact cardinal model where level level equivalence between strong compactness supercompactness holds

Arthur W. Apter 1 ; Shoshana Friedman 2

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.
2 Department of Mathematics and Computer Science Kingsborough Community College-CUNY 2001 Oriental Blvd, Brooklyn, NY 11235, U.S.A. 
@article{10_4064_ba62_3_1,
     author = {Arthur W. Apter and Shoshana Friedman},
     title = {HOD-supercompactness, {Indestructibility,
} and {Level} by {Level} {Equivalence}},
     journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
     pages = {197--209},
     publisher = {mathdoc},
     volume = {62},
     number = {3},
     year = {2014},
     doi = {10.4064/ba62-3-1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/ba62-3-1/}
}
TY  - JOUR
AU  - Arthur W. Apter
AU  - Shoshana Friedman
TI  - HOD-supercompactness, Indestructibility,
 and Level by Level Equivalence
JO  - Bulletin of the Polish Academy of Sciences. Mathematics
PY  - 2014
SP  - 197
EP  - 209
VL  - 62
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/ba62-3-1/
DO  - 10.4064/ba62-3-1
LA  - en
ID  - 10_4064_ba62_3_1
ER  - 
%0 Journal Article
%A Arthur W. Apter
%A Shoshana Friedman
%T HOD-supercompactness, Indestructibility,
 and Level by Level Equivalence
%J Bulletin of the Polish Academy of Sciences. Mathematics
%D 2014
%P 197-209
%V 62
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/ba62-3-1/
%R 10.4064/ba62-3-1
%G en
%F 10_4064_ba62_3_1
Arthur W. Apter; Shoshana Friedman. HOD-supercompactness, Indestructibility,
 and Level by Level Equivalence. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 62 (2014) no. 3, pp. 197-209. doi : 10.4064/ba62-3-1. http://geodesic.mathdoc.fr/articles/10.4064/ba62-3-1/

Cité par Sources :