Geodesic
On level by level equivalence and inequivalence between strong compactness and supercompactness
Arthur W. Apter1
1 Department of Mathematics Baruch College of CUNY New York, NY 10010, U.S.A.
Fundamenta Mathematicae, Tome 171 (2002) no. 1, pp. 77-92 Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences

Voir la notice de l'article

We prove two theorems, one concerning level by level inequivalence between strong compactness and supercompactness, and one concerning level by level equivalence between strong compactness and supercompactness. We first show that in a universe containing a supercompact cardinal but of restricted size, it is possible to control precisely the difference between the degree of strong compactness and supercompactness that any measurable cardinal exhibits. We then show that in an unrestricted size universe containing many supercompact cardinals, it is possible to have significant failures of GCH along with level by level equivalence between strong compactness and supercompactness, except possibly at inaccessible levels.
DOI : 10.4064/fm171-1-5
Keywords: prove theorems concerning level level inequivalence between strong compactness supercompactness concerning level level equivalence between strong compactness supercompactness first universe containing supercompact cardinal restricted size possible control precisely difference between degree strong compactness supercompactness measurable cardinal exhibits unrestricted size universe containing many supercompact cardinals possible have significant failures gch along level level equivalence between strong compactness supercompactness except possibly inaccessible levels

Arthur W. Apter 1

1 Department of Mathematics Baruch College of CUNY New York, NY 10010, U.S.A. 
@article{10_4064_fm171_1_5,
     author = {Arthur W. Apter},
     title = {On level by level equivalence and inequivalence between
strong compactness and supercompactness},
     journal = {Fundamenta Mathematicae},
     pages = {77--92},
     year = {2002},
     volume = {171},
     number = {1},
     doi = {10.4064/fm171-1-5},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm171-1-5/}
}
TY  - JOUR
AU  - Arthur W. Apter
TI  - On level by level equivalence and inequivalence between
strong compactness and supercompactness
JO  - Fundamenta Mathematicae
PY  - 2002
SP  - 77
EP  - 92
VL  - 171
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm171-1-5/
DO  - 10.4064/fm171-1-5
LA  - en
ID  - 10_4064_fm171_1_5
ER  - 
%0 Journal Article
%A Arthur W. Apter
%T On level by level equivalence and inequivalence between
strong compactness and supercompactness
%J Fundamenta Mathematicae
%D 2002
%P 77-92
%V 171
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4064/fm171-1-5/
%R 10.4064/fm171-1-5
%G en
%F 10_4064_fm171_1_5
Arthur W. Apter. On level by level equivalence and inequivalence between
strong compactness and supercompactness. Fundamenta Mathematicae, Tome 171 (2002) no. 1, pp. 77-92. doi: 10.4064/fm171-1-5

Cité par Sources :