×

Combinatorial principles in the core model for one Woodin cardinal. (English) Zbl 0834.03018

Summary: We study the fine structure of the core model for one Woodin cardinal, building on the work of Mitchell and Steel on inner models of the form \(L[\vec E]\). We generalize to \(L[\vec E]\) some combinatorial principles that were shown by Jensen to hold in \(L\). We show that \(L[\vec E]\) satisfies the statement: “\(\square_\kappa\) holds whenever \(\kappa\leq\) the least measurable cardinal \(\lambda\) of \(\vartriangleleft\) order \(\lambda^{++}\)”. We introduce a hierarchy of combinatorial principles \(\square_{\kappa, \lambda}\) for \(1\leq \lambda\leq \kappa\) such that \[ \square_\kappa \iff \square_{\kappa,1} \Rightarrow \square_{\kappa, \lambda} \Rightarrow \square_{\kappa, \kappa} \iff \square^*_\kappa. \] We prove that if \((\kappa^+ )^V= (\kappa^+ )^{L [\vec E]}\), then \(\square_{\kappa, \text{cf}(\kappa)}\) holds in \(V\). As an application, we show that \(\text{ZFC} + \text{PFA} \Rightarrow \text{Con(ZFC}+\)“there is a Woodin cardinal”). We also obtain one Woodin cardinal as a lower bound on the consistency strength of stationary reflection at \(\kappa^+\) for a singular, countably closed limit cardinal \(\kappa\) such that \((V_{\kappa^+} )^\#\) exists; likewise for the failure of \(\square^*_\kappa\) at such a \(\kappa\).

MSC:

03E55 Large cardinals
03E35 Consistency and independence results
03E05 Other combinatorial set theory
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baumgartner, J., Iterated forcing, (Mathias, A. R.D., Surveys in Set Theory. Surveys in Set Theory, London Math. Soc. Lec. Note Series, 87 (1983), Cambridge Univ. Press: Cambridge Univ. Press Cambridge) · Zbl 0524.03040
[2] Beller, A.; Jensen, R. B.; Welch, P., Coding the Universe, (London Math. Soc. Lec. Note Series, 47 (1982), Cambridge Univ. Press: Cambridge Univ. Press Cambridge) · Zbl 0468.03031
[3] Ben-David, S.; Magidor, M., The weak \(□\(^∗\) is really weaker than the full □, J. Symbolic Logic, 51, 1029-1033 (1986) · Zbl 0621.03035
[4] Devlin, K. J., Constructibility (1984), Springer: Springer Berlin · Zbl 0542.03029
[5] Dodd, A.; Jensen, R. B., The core model, Ann. Math. Logic, 20, 43-75 (1981) · Zbl 0457.03051
[6] S.D. Friedman and D.J. Wylie, Combinatorial principles in higher core models, Handwritten notes.; S.D. Friedman and D.J. Wylie, Combinatorial principles in higher core models, Handwritten notes.
[7] S.D. Friedman and D.J. Wylie, A condensation theorem, Handwritten notes.; S.D. Friedman and D.J. Wylie, A condensation theorem, Handwritten notes.
[8] Jech, T., Set Theory, ((1978), Academic Press: Academic Press New York), 244-246
[9] Jensen, R. B., The fine structure of the constructible hierarchy, Ann. Math. Logic, 4, 229-308 (1972) · Zbl 0257.02035
[10] Koepke, P., Finestructure for inner models with strong cardinals, (Habilitation (1989), Freiburg im Breisgau) · Zbl 0708.03025
[11] Martin, D. A.; Steel, J. R., Iteration trees, JAMS, 7, 1-73 (1994) · Zbl 0808.03035
[12] Mitchell, W. J., The core model for sequences of measures I, (Math. Proc. Cambridge Philos. Soc., 95 (1984)), 229-260 · Zbl 0539.03030
[13] W.J. Mitchell, The core model for sequences of measures II.; W.J. Mitchell, The core model for sequences of measures II. · Zbl 0539.03030
[14] W.J. Mitchell, E. Schimmerling and J.R. Steel, The covering lemma up to one Woodin cardinal.; W.J. Mitchell, E. Schimmerling and J.R. Steel, The covering lemma up to one Woodin cardinal. · Zbl 0868.03021
[15] Mitchell, W. J.; Steel, J. R., Fine structure and iteration trees, (Lecture Notes in Logic, 3 (1994), Springer: Springer Berlin) · Zbl 0805.03042
[16] Shelah, S., Proper forcing, (Lecture Notes in Math., 940 (1982), Springer: Springer Berlin) · Zbl 0495.03035
[17] R.M. Solovay, The fine structure of L[μ], unpublished.; R.M. Solovay, The fine structure of L[μ], unpublished. · Zbl 0188.32501
[18] Steel, J. R., The core model iterability problem, Handwritten notes (1990) · Zbl 0864.03035
[19] Todorcevic, S., A note on the proper forcing axiom, Contemp. Math., 95, 209-218 (1984)
[20] Veličković, B., Jensen’s □ principles and the Novak number of partially ordered sets, J. Symbolic Logic, 51, 47-58 (1986) · Zbl 0617.03027
[21] P.D. Welch, Combinatorial principles in the core model, Oxford Doctoral Dissertation.; P.D. Welch, Combinatorial principles in the core model, Oxford Doctoral Dissertation.
[22] Wylie, D. J., MIT Doctoral Dissertation (1990)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.