Stationary reflection and level by level equivalence

Arthur W. Apter. "Stationary reflection and level by level equivalence." Colloquium Mathematicae 115.1 (2009): 113-128. <http://eudml.org/doc/284075>.

@article{ArthurW2009,
abstract = {We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jónsson cardinal is weakly compact. On the other hand, we force and construct a model for the level by level equivalence between strong compactness and supercompactness in which on a stationary subset of the least supercompact cardinal κ, there are non-weakly compact Mahlo cardinals which reflect stationary sets. We also examine some extensions and limitations on what is possible in our theorems. Finally, we indicate how to ensure in our models that $⋄_δ$ holds for every successor and Mahlo cardinal δ, and below the least supercompact cardinal κ, $◻_δ$ holds on a stationary subset of κ. There are no restrictions in our main models on the structure of the class of supercompact cardinals.},
author = {Arthur W. Apter},
journal = {Colloquium Mathematicae},
keywords = {supercompact cardinal; strongly compact cardinal; weakly compact cardinal; Jónsson cardinal; Ramsey cardinal; nonreflecting stationary set of ordinals; diamond; square},
language = {eng},
number = {1},
pages = {113-128},
title = {Stationary reflection and level by level equivalence},
url = {http://eudml.org/doc/284075},
volume = {115},
year = {2009},
}

TY - JOUR
AU - Arthur W. Apter
TI - Stationary reflection and level by level equivalence
JO - Colloquium Mathematicae
PY - 2009
VL - 115
IS - 1
SP - 113
EP - 128
AB - We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jónsson cardinal is weakly compact. On the other hand, we force and construct a model for the level by level equivalence between strong compactness and supercompactness in which on a stationary subset of the least supercompact cardinal κ, there are non-weakly compact Mahlo cardinals which reflect stationary sets. We also examine some extensions and limitations on what is possible in our theorems. Finally, we indicate how to ensure in our models that $⋄_δ$ holds for every successor and Mahlo cardinal δ, and below the least supercompact cardinal κ, $◻_δ$ holds on a stationary subset of κ. There are no restrictions in our main models on the structure of the class of supercompact cardinals.
LA - eng
KW - supercompact cardinal; strongly compact cardinal; weakly compact cardinal; Jónsson cardinal; Ramsey cardinal; nonreflecting stationary set of ordinals; diamond; square
UR - http://eudml.org/doc/284075
ER -