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
Introduction to Q-theory
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. 126 - 199Publisher: Cambridge University PressPrint publication year: 2016
References
[Cra85] Explicit formulas for the jump ofQ-degrees, Ph.D. thesis, California Institute of Technology, 1985.Google Scholar
[DJ81] and The core model, Annals of Mathematical Logic, vol. 20 (1981), no. 1, pp. 43–75.Google Scholar
[GH76] and Characterizing C3 (the largest countable Π13 set), Proceedings of the American Mathematical Society, vol. 57 (1976), no. 1, pp. 127–129.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
[Kec73C] The structure of envelopes: a survey of recursion theory in higher types, M.I.T. Logic Seminar notes, 1973.
[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
[Kec80] Recent advances in the theory of higher level projective sets, The Kleene Symposium (Proc. Sympos., Univ. Wisconsin, Madison, Wis., 1978) (, , and , editors), Stud. Logic Foundations Math., vol. 101, North-Holland, Amsterdam, 1980, pp. 149–166.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 iii] , , and Cabal seminar 79–81, Lecture Notes in Mathematics, no. 1019, Berlin, Springer, 1983.Google Scholar
[KM77] and Recursion in higher types, Handbook of mathematical logic (, editor), North- Holland, 1977, pp. 681–737.Google Scholar
[Cabal i] and Cabal seminar 76–77, Lecture Notes in Mathematics, no. 689, Berlin, Springer, 1978.Google Scholar
[KS85] and On the relative consistency strength of determinacy hypotheses, Transactions of the American Mathematical Society, vol. 290 (1985), no. 1, pp. 179–211.Google Scholar
[KW83] and Equivalence of partition properties and determinacy, Proceedings of the National Academy of Sciences of the United States of America, vol. 80 (1983), no. 6 i., pp. 1783–1786.Google Scholar
[Kun70] Some applications of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179–227.Google Scholar
[Mar] Borel and projective games, in preparation.
[Mar70] Measurable cardinals and analytic games, Fundamenta Mathematicae, vol. 66 (1970), pp. 287–291.Google Scholar
[Mar76] Proof of a conjecture of Friedman, Proceedings of the American Mathematical Society, vol. 55 (1976), no. 1, p. 129.Google Scholar
[Mar80] Infinite games, Proceedings of the International Congress of Mathematicatians, Helsinki 1978 (Helsinki) (, 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.
[MMS82] , , and The extent of definable scales, Bulletin of the American Mathematical Society, vol. 6 (1982), pp. 435–440.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
[Mit84] The core model for sequences of measures. I, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 95 (1984), no. 2, pp. 229–260.Google Scholar
[Mos67] Hyperanalytic predicates, Transactions of the American Mathematical Society, vol. 129 (1967), pp. 249–282.Google Scholar
[Mos78] Inductive scales on inductive sets, in Kechris and Moschovakis [Cabal i], pp. 185–192, reprinted in [Cabal I], pp. 94–101.
[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
[Ste82A] A classification of jump operators, The Journal of Symbolic Logic, vol. 47 (1982), no. 2, pp. 347–358.Google Scholar
[Ste83B] Scales on Σ11 sets, inKechris et al. [Cabal iii], pp. 72–76, reprinted in [Cabal I], pp. 90–93.