Premium
Level by level equivalence and strong compactness
Author(s) -
Apter Arthur W.
Publication year - 2004
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310076
Subject(s) - compact space , mathematics , regular cardinal , equivalence (formal languages) , pure mathematics , discrete mathematics
We force and construct models in which there are non‐supercompact strongly compact cardinals which aren't measurable limits of strongly compact cardinals and in which level by level equivalence between strong compactness and supercompactness holds non‐trivially except at strongly compact cardinals. In these models, every measurable cardinal κ which isn't either strongly compact or a witness to a certain phenomenon first discovered by Menas is such that for every regular cardinal λ > κ , κ is λ strongly compact iff κ is λ supercompact. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)