Covering theorems for the core model, and an application to stationary set reflection (Q732054)
From MaRDI portal
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
0 references