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
An inner models proof of the Kechris–Martin theorem
from PART V - HOD AND ITS LOCAL VERSIONS
Published online by Cambridge University Press: 05 December 2015
By
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. 220 - 242Publisher: Cambridge University PressPrint publication year: 2016
References
[KM78] and On the theory of Π13 sets of reals, Bulletin of the American Mathematical Society, vol. 84 (1978), no. 1, pp. 149–151.Google Scholar
[KM16] and On the theory of Π13 sets of reals, II, 2016, this volume.
[MaS94] and Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.Google Scholar
[Nee95] Optimal proofs of determinacy, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 3, pp. 327–339.Google Scholar
[Nee02] Optimal proofs of determinacy II, Journal of Mathematical Logic, vol. 2 (2002), no. 2, pp. 227–258.Google Scholar
[Ste10B] An outline of inner model theory, in Kanamori and Foreman [KF10], pp. 1595–1684.
[SW16] and HODas a core model, 2016, this volume.
- 1
- Cited by