Skip to main content Accessibility help
×
Home

K Without the Measurable

  • Ronald Jensen (a1) and John Steel (a1)

Abstract

We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definable core model that is close to V in various ways.

Copyright

References

Hide All
[1] Devlin, K. J. and Jensen, R. B., Marginalia to a theorem of Silver, Proceedings of the ISILC logic conference (MÜLler, G. H., Oberschelp, A., and Potthoff, K., editors), Springer Lecture Notes in Mathematics, vol. 499, Springer, Berlin, 1975, pp. 115142.
[2] Dodd, A. J. and Jensen, R. B., The core model, Annals of Mathematical Logic, vol. 20 (1981), pp. 4375.
[3] Dodd, A. J. and Jensen, R. B., The covering lemma for K, Annals of Mathematical Logic, vol. 22 (1982), pp. 130.
[4] Dodd, A. J. and Jensen, R. B., The covering lemma for L[U], Annals of Mathematical Logic, vol. 22 (1982), pp. 127135.
[5] Fuchs, Gunter, λ-structures and s -structures: translating the models, Annals of Pure and Applied Logic, vol. 162 (2011), pp. 257317.
[6] Gitik, M., Schindler, R., and Shelah, S., Pcf theory and Woodin cardinals, Logic Colloquium '02, Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, Urbana IL, 2006, pp. 172205.
[7] Jensen, R. B., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229308.
[8] Jensen, R. B., Robust extenders, handwritten notes, 2003, www.mathematik.hu-berlin.de/~raesch/org/jensen.html.
[9] Jensen, R. B., A new fine structure, handwritten notes, www.mathematik.hu-berlin.de/~raesch/org/jensen.html.
[10] Jensen, R. B., Schimmerling, E., Schindler, R. D., and Steel, J. R., Stacking mice, this Journal, vol. 74 (2009), pp. 315335.
[11] Mitchell, W. J., The core model for sequences of measures II, unpublished preliminary draft, 1982.
[12] Mitchell, W. J., The core model for sequences of measures I, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 95 (1984), pp. 229260.
[13] Mitchell, W. J. and Schimmerling, E., Weak covering without countable closure, Mathematical Research Letters, vol. 2 (1995), no. 5, pp. 595609.
[14] Mitchell, W. J., Schimmerling, E., and Steel, J. R., The covering lemma up to a Woodin cardinal, Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219255.
[15] Mitchell, W. J. and Schindler, R. D., A universal extender model without large cardinals in V, this Journal, vol. 69 (2004), pp. 371386.
[16] Mitchell, W. J. and Steel, J. R., Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, 1994.
[17] Schimmerling, E. and Steel, J. R., The maximality of the core model, Transactions of the American Mathematical Society, vol. 351 (1999), no. 8, pp. 31193141.
[18] Schimmerling, E. and Zeman, M., Square in core models, The Bulletin of Symbolic Logic, vol. 7 (2001), pp. 305314.
[19] Schimmerling, E. and Zeman, M., Characterization of ☕K in core models, Journal of Mathematical Logic, vol. 4 (2004), pp. 172.
[20] Schindler, R. D., The core model for almost linear iterations, Annals of Pure and Applied Logic, vol. 116 (2002), pp. 207274.
[21] Schlutzenberg, F., Measures in mice, Ph.D. thesis, University of California at Berkeley, 2007.
[22] Steel, J. R., The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, 1996.
[23] Steel, J. R., PFA implies AD in L(ℝ), this Journal, vol. 70 (2005), no. 4, pp. 12551296.
[24] Steel, J. R., Derived models associated to mice, Computational prospects of infinity (Chong, C. T., Feng, Q., Slaman, T. A., and Woodin, W. H., editors), World Scientific, 2008, pp. 105193.
[25] Steel, J. R., An outline of inner model theory, Handbook of set theory (Foreman, M. and Kanamori, A., editors), vol. 3, Springer, 2010, pp. 15951684.

Related content

Powered by UNSILO

K Without the Measurable

  • Ronald Jensen (a1) and John Steel (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.