Book contents
- Frontmatter
- Contents
- Preface
- Original Numbering
- PART V HOD AND ITS LOCAL VERSIONS
- Ordinal definability in models of determinacy. Introduction to Part V
- Partially playful universes
- Ordinal games and playful models
- Measurable cardinals in playful models
- Introduction to Q-theory
- On the theory of Π13 sets of reals, II
- An inner models proof of the Kechris–Martin theorem
- A theorem of Woodin on mouse sets
- HOD as a core model
- PART VI RECURSION THEORY
- Bibliography
- References
HOD as a core model
from PART V - HOD AND ITS LOCAL VERSIONS
Published online by Cambridge University Press: 05 December 2015
Book contents
- Frontmatter
- Contents
- Preface
- Original Numbering
- PART V HOD AND ITS LOCAL VERSIONS
- Ordinal definability in models of determinacy. Introduction to Part V
- Partially playful universes
- Ordinal games and playful models
- Measurable cardinals in playful models
- Introduction to Q-theory
- On the theory of Π13 sets of reals, II
- An inner models proof of the Kechris–Martin theorem
- A theorem of Woodin on mouse sets
- HOD as a core model
- PART VI RECURSION THEORY
- Bibliography
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Ordinal Definability and Recursion TheoryThe Cabal Seminar, Volume III, pp. 257 - 346Publisher: Cambridge University PressPrint publication year: 2016
References
[BMS84] , , and Axiomatic set theory. Proceedings of the AMS-IMS-SIAM joint summer research conference held in Boulder, Colo., June 19–25, 1983, Contemporary Mathematics, vol. 31, Amer. Math. Soc., Providence, RI, 1984.Google Scholar
[BK84] and Sets of ordinals constructible from trees and the third Victoria Delfino problem, in Baumgartner et al. [BMS84], pp. 13–29.
[Far] The extender algebra and Σ21 -absoluteness, to appear.
[Hjo01] A boundedness lemma for iterations, The Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1058–1072.Google Scholar
[Kec75B] The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259–297.Google Scholar
[Kec84] The axiom of determinancy implies dependent choices in L(ℝ), The Journal of Symbolic Logic, vol. 49 (1984), no. 1, pp. 161–173.Google Scholar
[Cabal I] , , and Games, scales, and Suslin cardinals: the Cabal seminar, volume I, Lecture Notes in Logic, vol. 31, Cambridge University Press, 2008.Google Scholar
[Cabal i] and Cabal seminar 76–77, Lecture Notes in Mathematics, no. 689, Berlin, Springer, 1978.Google Scholar
[KS85] and On the relative consistency strength of determinacy hypotheses, Transactions of the American Mathematical Society, vol. 290 (1985), no. 1, pp. 179–211.Google Scholar
[Ket11] More structural consequences of AD, Set theory and its applications, Contemporary Mathematics, vol. 533, American Mathematical Society, Providence, RI, 2011, pp. 71–105.Google Scholar
[KW10] and Large cardinals from determinacy, in Kanamori and Foreman [KF10], pp. 1951–2119.
[MaS94] and Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.Google Scholar
[MiS94] and Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.Google Scholar
[Mos09] Descriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, 2009.Google Scholar
[Nee95] Optimal proofs of determinacy, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 3, pp. 327–339.Google Scholar
[Nee10] Determinacy inL(ℝ), in Kanamori and Foreman [KF10], pp. 1877–1950.
[Sar09] A tale of hybrid mice, Ph.D. thesis, University of California, Berkeley, 2009.Google Scholar
[Sar13] A tale of hybrid mice, preprint, 2013.
[SS] and Capturing by ℝ-mice, to appear.
[SS09] and The self-iterability of L[E], The Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 751–779.Google Scholar
[Sol78B] The independence of DC from AD, in Kechris and Moschovakis [Cabal i], pp. 171–184.
[Ste95A] HODL(ℝ) is a core model below Θ, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 1, pp. 75–84.Google Scholar
[Ste96] The core model iterability problem, Lecture Notes in Logic, no. 8, Springer-Verlag, Berlin, 1996.Google Scholar
[Ste05] PFA implies ADL(ℝ), The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296.Google Scholar
[Ste08A] Derived models associated to mice, Computational prospects of infinity. Part I. Tutorials, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 14, World Scientific Publishing, 2008, pp. 105–193.Google Scholar
[Ste08C] Scales in K(ℝ), in Kechris et al. [Cabal I], pp. 176–208.
[Ste09] The derived model theorem, Logic Colloquium 2006, Lecture Notes in Logic, vol. 19, Association for Symbolic Logic, 2009, pp. 280–327.Google Scholar
[Ste10B] An outline of inner model theory, in Kanamori and Foreman [KF10], pp. 1595–1684.
[Ste16A] Ordinal definability in models of determinacy. Introduction to Part V, 2016, this volume.
[Ste16B] A theorem of Woodin on mouse sets, 2016, this volume.
[ST10] and AD+, derived models, and Σ1 reflection, Notes from the firstMünster conference on hod mice and the core model induction, available at http://math.berkeley.edu/~namtrang/AD+reflection.pdf, 2010.
[Tra12] HODin natural models of AD+, preprint, available at http://arXiv.org/abs/1201. 6128v1, 2012.
[Zhu10] The derived model theorem II, Notes on lectures given by H. Woodin at the first Münster conference on hod mice and the core model induction, available at http://graduate.math.nus.edu.sg/~g0700513/der.pdf, 2010.
[Zhu12] Realizing anAD+ model as a derived model of a premouse, Ph.D. thesis, National University of Singapore, 2012.Google Scholar
- 17
- Cited by