Covering theorems for the core model, and an application to stationary set reflection (Q732054): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:19, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Covering theorems for the core model, and an application to stationary set reflection |
scientific article |
Statements
Covering theorems for the core model, and an application to stationary set reflection (English)
0 references
9 October 2009
0 references
The bulk of this paper is devoted to the proof of its main result: a covering theorem for the core model~\(K\) below the sharp for a strong cardinal. If \(\gamma>\omega_2\) is regular in~\(K\) but \(\text{cf}^V\gamma<|\gamma|^V\) then \(\gamma\)~is measurable in~\(K\). The paper ends with applications to stationary set reflection: Mahlo cardinals suffice for the consistency of unqualified reflection but to get stationary subsets of \(\{\alpha\in\omega_3:\text{cf}\,\, \alpha=\omega\}\) to reflect at ordinals of cofinality~\(\omega_1\) requires larger cardinals than Mahlo to exist in~\(K\).
0 references
core model
0 references
covering lemma
0 references
strong cardinal
0 references
stationary set reflection
0 references
inner model
0 references
fine structure
0 references