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
On the theory of Π13 sets of reals, II
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. 200 - 219Publisher: 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.
[Kec75A] Countable ordinals and the analytical hierarchy. I, Pacific Journal of Mathematics, vol. 60 (1975), no. 1, pp. 223–227.Google Scholar
[Kec75B] The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259–297.Google Scholar
[Kec76] Uncountable ordinals and the analytical hierarchy, circulated notes, July 1976.
[Kec78B] Countable ordinals and the analytical hierarchy. II, Annals of Mathematical Logic, vol. 15 (1978), no. 3, pp. 193–223.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
[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
[Cabal iii] , , and Cabal seminar 79–81, Lecture Notes in Mathematics, no. 1019, Berlin, Springer, 1983.Google Scholar
[KMS83] , , and Introduction to Q-theory, this volume, originally published in Kechris et al. [Cabal iii], pp. 199–282.
[KM72] and Two theorems about projective sets, Israel Journal of Mathematics, vol. 12 (1972), pp. 391–399.Google Scholar
[Cabal i] and Cabal seminar 76–77, Lecture Notes in Mathematics, no. 689, Berlin, Springer, 1978.Google Scholar
[Kun71A] On δ15, circulated note, August 1971.
[Mar12] Projective sets and cardinal numbers: some questions related to the continuum problem, in Kechris et al. [Cabal II], pp. 484–508.
[MS69] and A basis theorem for Σ13 sets of reals, Annals of Mathematics, vol. 89 (1969), pp. 138–160.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
[Mos73] Analytical definability in a playful universe, Logic, methodology, and philosophy of science IV (, , , and , editors), North-Holland, 1973, pp. 77–83.Google Scholar
[Mos09] Descriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, 2009.Google Scholar
[Sol78A] A Δ13 coding of the subsets of ωω, in Kechris and Moschovakis [Cabal i], pp. 133–150, reprinted in [Cabal II], pp. 346–363.