Stationary reflection and level by level equivalence

• Autorzy: Arthur W. Apter
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03E55: Large cardinals
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Colloquium Mathematicum
• Rocznik: 2009
• Tom: 115
• Numer: 1
• Strony: 113-128

Daty

wydano

2009

Twórcy

autor

Arthur W. Apter

• Department of Mathematics, Baruch College of CUNY, New York, NY 10010, U.S.A.
• The CUNY Graduate Center, Mathematics, 365 Fifth Avenue, New York, NY 10016, U.S.A.

Identyfikatory

DOI

10.4064/cm115-1-10