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
A theorem of Woodin on mouse sets
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. 243 - 256Publisher: Cambridge University PressPrint publication year: 2016
References
[HK81] and On the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), pp. 109–154.Google Scholar
[Kec75B] The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259–297.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
[Rud95] Mouse sets definable in L(ℝ), Ph.D. thesis, University of California, Los Angeles, 1995.Google Scholar
[Ste82A] A classification of jump operators, The Journal of Symbolic Logic, vol. 47 (1982), no. 2, pp. 347–358.Google Scholar
[Ste93] Inner models with many Woodin cardinals, Annals of Pure and Applied Logic, vol. 65 (1993), no. 2, pp. 185–209.Google Scholar
[Ste95B] Projectively wellordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77–104.Google Scholar
[SW16] and HODas a core model, 2016, this volume.
- 4
- Cited by