Skip to main content

Introduction to Q-Theory

Part of the Lecture Notes in Mathematics book series (LNM,volume 1019)

Keywords

  • Winning Strategy
  • Jump Operator
  • Large Cardinal
  • Measurable Cardinal
  • Game Quantifier

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Becker, Partially playful universes, Cabal Seminar 76–77, A. S. Kechris and Y. N. Moschovakis (eds.), Lecture Notes in Mathematics, 689, Springer-Verlag, 1978, 55–90.

    Google Scholar 

  2. A. Dodd and R. Jensen, The core model, Ann. Math. Logic, 20 (1981), 43–75.

    CrossRef  MATH  MathSciNet  Google Scholar 

  3. D. Guaspari and L. A. Harrington, Characterizing C3 (the largest countable Π 13 set), Proc. Amer. Math. Soc., 57 (1976), 127–129.

    CrossRef  MATH  MathSciNet  Google Scholar 

  4. L. A. Harrington, Analytic determinancy and 0#, J. Symb. Logic, 43 (1978), 685–693.

    CrossRef  MATH  MathSciNet  Google Scholar 

  5. L. A. Harrington, Contributions to recursion theory on higher types, Ph.D. Thesis, M. I. T., 1973.

    Google Scholar 

  6. L. A. Harrington and A. S. Kechris, On the determinacy of games on ordinals, Ann. Math. Logic, 20 (1981), 109–154.

    CrossRef  MATH  MathSciNet  Google Scholar 

  7. T. Jech, Set Theory, Academic Press, 1978.

    Google Scholar 

  8. A. S. Kechris, Projective ordinals and countable analytical sets, Ph.D. Thesis, UCIA, 1972.

    Google Scholar 

  9. A. S. Kechris, The theory of countable analytical sets, Trans. Amer. Math. Soc., 202 (1975), 259–297.

    CrossRef  MATH  MathSciNet  Google Scholar 

  10. A. S. Kechris, The structure of envelopes: A survey of recursion theory in higher types, M. I. T. Logic Seminar Notes, 1973.

    Google Scholar 

  11. A. S. Kechris, Countable ordinals and the analytical hierarchy I, Pacific J. Math., 60 (1975), 223–227.

    MATH  MathSciNet  Google Scholar 

  12. A. S. Kechris, Recent advances in the theory of higher level projective sets, The Kleene Symposium, J. Barwise, H. J. Keisler and K. Kunen (eds.), North Holland, 1980, 149–166.

    Google Scholar 

  13. A. S. Kechris and Y. N. Moschovakis, Notes on the theory of scales, Cabal Seminar 76–77, ibid., 1–54.

    Google Scholar 

  14. A. S. Kechris and Y. N. Moschovakis, Recursion in higher types, Handbook of Mathematical Logic, J. Barwise (ed.), North Holland, 1977, 681–737.

    Google Scholar 

  15. A. S. Kechris and R. M. Solovay, On the relative consistency strength of determinacy hypothesis, to appear.

    Google Scholar 

  16. A. S. Kechris and W. H. Woodin, The equivalence of partition properties and determinacy, mimeographed notes, March 1982.

    Google Scholar 

  17. K. Kunen, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic, 1 (1970), 179–227.

    CrossRef  MATH  MathSciNet  Google Scholar 

  18. D. A. Martin, Measurable cardinals and analytic games, Fund. Math., 66 (1970), 287–291.

    MATH  MathSciNet  Google Scholar 

  19. D. A. Martin, Proof of a conjecture of Friedman, Proc. Amer. Math. Soc., 55 (1976), 129.

    CrossRef  MATH  MathSciNet  Google Scholar 

  20. D. A. Martin, The largest countable this, that, and the other, this volume.

    Google Scholar 

  21. D. A. Martin, Borel and projective games, to appear.

    Google Scholar 

  22. D. A. Martin, Infinite games, Proc. Intern. Congress of Mathematicians, Helsinki 1978, 269–273.

    Google Scholar 

  23. D. A. Martin, Y. N. Moschovakis and J. R. Steel, The extend of scales, Bull. Amer. Math. Soc., 6 (1982), 435–440.

    CrossRef  MATH  MathSciNet  Google Scholar 

  24. W. Mitchell, Sets constructible from sequences of ultrafilters, J. Symb. Logic, 39 (1974), 57–66.

    CrossRef  MATH  Google Scholar 

  25. W. Mitchell, Hypermeasurable cardinals, Logic Colloquium '78, M. Boffa et al. (eds.), North-Holland, 1979, 303–316.

    Google Scholar 

  26. W. Mitchell, The core model for sequences of ultrafilters, to appear.

    Google Scholar 

  27. Y. N. Moschovakis, Hyperanalytic predicates, Trans. Amer. Math. Soc., 129 (1967), 249–282.

    CrossRef  MATH  MathSciNet  Google Scholar 

  28. Y. N. Moschovakis, Inductive scales on inductive sets, Cabal Seminar 76–77, ibid., 185–192.

    Google Scholar 

  29. Y. N. Moschovakis, Descriptive Set Theory, North-Holland, 1980.

    Google Scholar 

  30. R. M. Solovay, On the cardinality of Σ 12 sets of reals, Foundations of Mathematics, Bullof et al. (eds.), Springer-Verlag, 1969, 58–73.

    Google Scholar 

  31. J. R. Steel, A classification of jump operators, J. Symb. Logic, 47 (1982), 347–358.

    CrossRef  MATH  MathSciNet  Google Scholar 

  32. J. R. Steel, Scales on Σ 11 sets, this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1983 Springer-Verlag

About this paper

Cite this paper

Kechris, A.S., Martin, D.A., Solovay, R.M. (1983). Introduction to Q-Theory. In: Kechris, A.S., Martin, D.A., Moschovakis, Y.N. (eds) Cabal Seminar 79–81. Lecture Notes in Mathematics, vol 1019. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0071702

Download citation

  • DOI: https://doi.org/10.1007/BFb0071702

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12688-1

  • Online ISBN: 978-3-540-38680-3

  • eBook Packages: Springer Book Archive