Skip to main content

Introduction to Q-Theory

  • Conference paper
  • First Online:
Cabal Seminar 79–81

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

Research partially supported by NSF Grant MCS81-17804. The author is an A. P. Sloan Foundation Fellow.

Research partially supported by NSF Grant MCS78-02989.

Research partially supported by NSF Grant MCS79-06077.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

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.

    Article  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.

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  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.

    Article  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.

    Article  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.

    Article  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.

    Article  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.

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  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.

    Article  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.

    Article  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

Alexander S. Kechris Donald A. Martin Yiannis N. Moschovakis

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

Publish with us

Policies and ethics