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
Partially playful universes
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. 49 - 85Publisher: Cambridge University PressPrint publication year: 2016
References
[Dra74] Set theory: An introduction to large cardinals, Studies in Logic and the Foundations of Mathematics, vol. 76, North-Holland, 1974.Google Scholar
[Gre78] Determinacy and the existence of large measurable cardinals, Ph.D. thesis, University of California, Berkeley, 1978.Google Scholar
[Jec71] Lectures in set theory, with particular emphasis on the method of forcing, Lecture Notes in Mathematics, Vol. 217, Springer-Verlag, Berlin, 1971.Google Scholar
[Kec72] Projective ordinals and countable analytical sets, Ph.D. thesis, UCLA, 1972.
[Kec73B] Measure and category in effective descriptive set theory, Annals of Mathematical Logic, vol. 5 (1973), no. 4, pp. 337–384.Google Scholar
[Kec75B] The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259–297.Google Scholar
[Kec77] On a notion of smallness for subsets of the Baire space, Transactions of the American Mathematical Society, vol. 229 (1977), pp. 191–207.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
[KM78B] and Notes on the theory of scales, in Cabal Seminar 76–77[Cabal i], pp. 1–53, reprinted in [Cabal I], pp. 28–74.
[Man70] Perfect subsets of definable sets of real numbers, Pacific Journal of Mathematics, vol. 35 (1970), no. 2, pp. 451–457.Google Scholar
[Mar70] Measurable cardinals and analytic games, Fundamenta Mathematicae, vol. 66 (1970), pp. 287–291.Google Scholar
[Mar73] Δ12n determinacy implies Σ12n determinacy, circulated note, 1973.
[Mar75] Borel determinacy, Annals of Mathematics, vol. 102 (1975), no. 2, pp. 363–371.Google Scholar
[Mos70A] Determinacy and prewellorderings of the continuum, Mathematical logic and foundations of set theory. Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11–14 November 1968 (, editor), Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam-London, 1970, pp. 24–62.Google Scholar
[Mos80] Descriptive set theory, Studies in Logic and the Foundations of Mathematics, no. 100, North-Holland, Amsterdam, 1980.Google Scholar
[Sol66] On the cardinality of Σ12 set of reals, Foundations of Mathematics: Symposium papers commemorating the 60th birthday of Kurt Gödel (, , and , editors), Springer-Verlag, 1966, pp. 58–73.Google Scholar
[Sol67] Measurable cardinals and the axiom of determinateness, lecture notes prepared in connection with the Summer Institute of Axiomatic Set Theory held at UCLA, Summer 1967.
[Sol70] A model of set-theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, vol. 92 (1970), pp. 1–56.Google Scholar
- 1
- Cited by