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
Measurable cardinals in playful models
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. 115 - 125Publisher: Cambridge University PressPrint publication year: 2016
References
[Bec80] Thin collections of sets of projective ordinals and analogs of L, Annals of Mathematical Logic, vol. 19 (1980), pp. 205–241.Google Scholar
[HK81] and On the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), pp. 109–154.Google Scholar
[Kec78A] AD and projective ordinals, in Kechris and Moschovakis [Cabal i], pp. 91–132, reprinted in [Cabal II], pp. 304–345.
[KKMW81] , , , and The axiom of determinacy, strong partition properties, and nonsingular measures, in Kechris et al. [Cabal ii], pp. 75–99, reprinted in [Cabal I], pp. 333–354.
[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 II] , , and Wadge degrees and projective ordinals: the Cabal seminar, volume II, Lecture Notes in Logic, vol. 37, Cambridge University Press, 2012.Google Scholar
[Cabal ii] , , and Cabal seminar 77–79, Lecture Notes in Mathematics, no. 839, Berlin, Springer, 1981.Google Scholar
[Cabal i] and Cabal seminar 76–77, Lecture Notes in Mathematics, no. 689, Berlin, Springer, 1978.
[Kun71B] On the GCH at measurable cardinals, Logic Colloquium ’69 (Proc. Summer School and Colloq., Manchester, 1969) ( and , editors), North-Holland, Amsterdam, 1971, pp. 107–110.Google Scholar
[Mar] Borel and projective games, in preparation.
[Mos80] Descriptive set theory, Studies in Logic and the Foundations of Mathematics, no. 100, North-Holland, Amsterdam, 1980.Google Scholar
[Mos81] Ordinal games and playful models, this volume, originally published in Kechris et al. [Cabal ii], pp. 169–201.
[Sol78A] A Δ13 coding of the subsets of ωω, in Kechris and Moschovakis [Cabal i], pp. 133–150, reprinted in [Cabal II], pp. 346–363.
- 1
- Cited by