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
Ordinal definability in models of determinacy. Introduction to Part V
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. 3 - 48Publisher: Cambridge University PressPrint publication year: 2016
References
[Bal86] Between strong and superstrong, The Journal of Symbolic Logic, vol. 51 (1986), no. 3, pp. 547–559.Google Scholar
[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
[Bec78] Partially playful universes, this volume, originally published in Kechris and Moschovakis [Cabal i], pp. 55–90.
[Bec80] Thin collections of sets of projective ordinals and analogs of L, Annals of Mathematical Logic, vol. 19 (1980), pp. 205–241.Google Scholar
[Bec81] AD and the supercompactness of ℵ1, The Journal of Symbolic Logic, vol. 46 (1981), pp. 822–841.Google Scholar
[BK84] and Sets of ordinals constructible from trees and the third Victoria Delfino problem, in Baumgartner et al. [BMS84], pp. 13–29.
[BM81] and Measurable cardinals in playful models, this volume, originally published in Kechris et al. [Cabal ii], pp. 203–214.
[Cra85] Explicit formulas for the jump ofQ-degrees, Ph.D. thesis, California Institute of Technology, 1985.Google Scholar
[Dod80] Strong cardinals, unpublished, 1980.
[DuB90] The equivalence of determinancy and iterated sharps, The Journal of Symbolic Logic, vol. 55 (1990), no. 2, pp. 502–525.Google Scholar
[FMS88] , , and Martin's maximum, saturated ideals and nonregular ultrafilters. I, Annals of Mathematics, vol. 127 (1988), no. 1, pp. 1–47.Google Scholar
[Gre78] Determinacy and the existence of large measurable cardinals, Ph.D. thesis, University of California, Berkeley, 1978.Google Scholar
[Har78] Analytic determinacy and 0#, The Journal of Symbolic Logic, vol. 43 (1978), no. 4, pp. 685–693.Google Scholar
[HK81] and On the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), pp. 109–154.Google Scholar
[HS79] and Equivalence relations, projective and beyond, Logic Colloquium ’78 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam, 1979, pp. 247–264.Google Scholar
[Har66] Some applications of recursive pseudo-well orderings, Ph.D. thesis, Stanford University, 1966.Google Scholar
[Hjo96] Variations of the Martin-Solovay tree, The Journal of Symbolic Logic, vol. 61 (1996), no. 1, pp. 40–51.Google Scholar
[Hjo01] A boundedness lemma for iterations, The Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1058–1072.Google Scholar
[Jac08] Suslin cardinals, partition properties, homogeneity. Introduction to Part II, in Kechris et al. [Cabal I], pp. 273–313.
[KF10] and Handbook of set theory, Springer, 2010.
[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
[Kec78A] AD and projective ordinals, in Kechris and Moschovakis [Cabal i], pp. 91–132, reprinted in [Cabal II], pp. 304–345.
[Kec78B] Countable ordinals and the analytical hierarchy. II, Annals of Mathematical Logic, vol. 15 (1978), no. 3, pp. 193–223.Google Scholar
[Kec81] Homogeneous trees and projective scales, in Kechris et al. [Cabal ii], pp. 33–74, reprinted in [Cabal II], pp. 270–303.
[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
[KM16] and On the theory of π13 sets of reals, II, 2016, this volume.
[Cabal ii] , , and Cabal seminar 77–79, Lecture Notes in Mathematics, no. 839, Berlin, Springer, 1981.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
[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.
[KW80] and Generic codes for uncountable ordinals, partition properties, and elementary embeddings, circulated manuscript, 1980, reprinted in [Cabal I], pp. 379–397.
[KW08] and The equivalence of partition properties and determinacy, in Kechris et al. [Cabal I], pp. 355–378.
[Ket11] More structural consequences of AD, Set theory and its applications, Contemporary Mathematics, vol. 533, American Mathematical Society, Providence, RI, 2011, pp. 71–105.Google Scholar
[Kle55A] Arithmetical predicates and function quantifiers, Transactions of the American Mathematical Society, vol. 79 (1955), pp. 312–340.Google Scholar
[Kle55B] Hierarchies of number-theoretic predicates, Bulletin of the American Mathematical Society, vol. 61 (1955), pp. 193–213.Google Scholar
[Kle55C] On the forms of the predicates in the theory of constructive ordinals. II, American Journal of Mathematics, vol. 77 (1955), pp. 405–428.Google Scholar
[KW10] and Large cardinals from determinacy, in Kanamori and Foreman [KF10], pp. 1951–2119.
[Kun70] Some applications of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179–227.Google Scholar
[Man70] Perfect subsets of definable sets of real numbers, Pacific Journal of Mathematics, vol. 35 (1970), no. 2, pp. 451–457.Google Scholar
[Mar] Borel and projective games, in preparation.
[Mar80] Infinite games, Proceedings of the International Congress of Mathematicatians, Helsinki 1978 (Helsinki) (Olli Lehto, editor), Academia Scientiarum Fennica, 1980, pp. 269–273.Google Scholar
[Mar83] The largest countable this, that, and the other, in Kechris et al. [Cabal iii], pp. 97–106, reprinted in [Cabal I], pp. 121–129.
[MS83] and The extent of scales in L(ℝ), in Kechris et al. [Cabal iii], pp. 86–96, reprinted in [Cabal I], pp. 110–120.
[MS89] and A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71–125.Google Scholar
[MaS94] and Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.Google Scholar
[Mit74] Sets constructible from sequences of ultrafilters, The Journal of Symbolic Logic, vol. 39 (1974), pp. 57–66.Google Scholar
[Mit79] Hypermeasurable cardinals, Logic Colloquium ’78 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam, 1979, pp. 303–316.Google Scholar
[MiS94] and Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.Google Scholar
[Mos71] Uniformization in a playful universe, Bulletin of the American Mathematical Society, vol. 77 (1971), pp. 731–736.Google Scholar
[Mos78] Inductive scales on inductive sets, in Kechris and Moschovakis [Cabal i], pp. 185–192, reprinted in [Cabal I], pp. 94–101.
[Mos81] Ordinal games and playful models, this volume, originally published in Kechris et al. [Cabal ii], pp. 169–201.
[Mos83] Scales on coinductive sets, in Kechris et al. [Cabal iii], pp. 77–85, reprinted in [Cabal I], pp. 102–109.
[Mos09] Descriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, 2009.Google Scholar
[Nee95] Optimal proofs of determinacy, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 3, pp. 327–339.Google Scholar
[Nee00] Unraveling π11 sets, Annals of Pure andApplied Logic, vol. 106 (2000), no. 1-3, pp. 151–205.Google Scholar
[Nee02] Optimal proofs of determinacy II, Journal of Mathematical Logic, vol. 2 (2002), no. 2, pp. 227–258.Google Scholar
[Nee04] The determinacy of long games, de Gruyter Series in Logic and its Applications, vol. 7, Walter de Gruyter, Berlin, 2004.Google Scholar
[Nee06] Unraveling π11 sets, revisited, Israel Journal of Mathematics, vol. 152 (2006), pp. 181–203.Google Scholar
[Nee07] Inner models and ultrafilters in L(ℝ), The Bulletin of Symbolic Logic, vol. 13 (2007), no. 1, pp. 31–53.Google Scholar
[Nee16] An inner models proof of the Kechris–Martin theorem, 2016, this volume.
[Sar09] A tale of hybrid mice, Ph.D. thesis, University of California, Berkeley, 2009.Google Scholar
[SS] and The core model induction, to appear.
[SS09] and The self-iterability of L[E], The Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 751–779.Google Scholar
[SW90] and Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable, Israel Journal of Mathematics, vol. 70 (1990), no. 3, pp. 381–394.Google Scholar
[Sho61] The problem of predicativity, Essays on the foundations of mathematics (Y. Bar-Hillel et al., editors), Magnes Press, Jerusalem, 1961, pp. 132–139.Google Scholar
[Sil71A] The consistency of the GCH with the existence of a measurable cardinal, Axiomatic set theory(Dana S. Scott, editor), Proceedings of Symposia in Pure Mathematics, vol. XIII, Part I, American Mathematical Society, 1971, pp. 391–395.Google Scholar
[Sil71B] Measurable cardinals and Δ13 wellorderings, Annals of Mathematics, vol. 94 (1971), no. 2, pp. 414–446.Google Scholar
[Sim79] Semihypermeasurables and Π01 (Π11) games, Ph.D. thesis, Rockefeller University, 1979.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
[Ste82B] Determinacy in the Mitchell models, Annals of Mathematical Logic, vol. 22 (1982), no. 2, pp. 109–125.Google Scholar
[Ste83A] Scales in L(ℝ), in Kechris et al. [Cabal iii], pp. 107–156, reprinted in [Cabal I], pp. 130–175.
[Ste83B] Scales on Σ11 sets, inKechris et al. [Cabal iii], pp. 72–76, reprinted in [Cabal I], pp. 90–93.
[Ste95A] HODL(ℝ) is a core model below Θ, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 1, pp. 75–84.Google Scholar
[Ste95B] Projectively wellordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77–104.Google Scholar
[Ste08A] Derived models associated to mice, Computational prospects of infinity. Part I. Tutorials, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 14, World Scientific Publishing, 2008, pp. 105–193.Google Scholar
[Ste08B] Games and scales. Introduction to Part I, in Kechris et al. [Cabal I], pp. 3–27.
[Ste08C] Scales in K(ℝ), in Kechris et al. [Cabal I], pp. 176–208.
[Ste09] The derived model theorem, Logic Colloquium 2006, Lecture Notes in Logic, vol. 19, Association for Symbolic Logic, 2009, pp. 280–327.Google Scholar
[Ste10A] Notes on V as a derived model, unpublished notes, 2010.
[Ste10B] An outline of inner model theory, in Kanamori and Foreman [KF10], pp. 1595–1684.
[Ste16B] A theorem of Woodin on mouse sets, 2016, this volume.
[ST10] and AD+, derived models, and S1 reflection, Notes from the firstMünster conference on hod mice and the core model induction, available at http://math.berkeley.edu/~namtrang/ AD+reflection.pdf, 2010.
[SVW82] and Two consequences of determinacy consistent with choice, Transactions of the American Mathematical Society, vol. 272 (1982), no. 1, pp. 67–85.Google Scholar
[SW16] and HOD as a core model, 2016, this volume.
[Wil13] Contributions to descriptive inner model theory, Ph.D. thesis, University of California, Berkeley, 2013.Google Scholar
[Woo83A] AD and the uniqueness of the supercompact measures on Pω1 (λ), in Kechris et al. [Cabal iii], pp. 67–71.
[Woo83B] Some consistency results in ZFC using AD, in Kechris et al. [Cabal iii], pp. 172–198.
[Woo88] Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), no. 18, pp. 6587–6591.Google Scholar
[Zhu10] The derived model theorem II, Notes on lectures given by H. Woodin at the first Münster conference on hod mice and the core model induction, available at http://graduate.math.nus.edu.sg/~g0700513/der.pdf, 2010.
[Zhu12] Realizing anAD+ model as a derived model of a premouse, Ph.D. thesis, National University of Singapore, 2012.
- 2
- Cited by