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.
Preview
Unable to display preview. Download preview PDF.
References
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.
A. Dodd and R. Jensen, The core model, Ann. Math. Logic, 20 (1981), 43–75.
D. Guaspari and L. A. Harrington, Characterizing C3 (the largest countable Π 13 set), Proc. Amer. Math. Soc., 57 (1976), 127–129.
L. A. Harrington, Analytic determinancy and 0#, J. Symb. Logic, 43 (1978), 685–693.
L. A. Harrington, Contributions to recursion theory on higher types, Ph.D. Thesis, M. I. T., 1973.
L. A. Harrington and A. S. Kechris, On the determinacy of games on ordinals, Ann. Math. Logic, 20 (1981), 109–154.
T. Jech, Set Theory, Academic Press, 1978.
A. S. Kechris, Projective ordinals and countable analytical sets, Ph.D. Thesis, UCIA, 1972.
A. S. Kechris, The theory of countable analytical sets, Trans. Amer. Math. Soc., 202 (1975), 259–297.
A. S. Kechris, The structure of envelopes: A survey of recursion theory in higher types, M. I. T. Logic Seminar Notes, 1973.
A. S. Kechris, Countable ordinals and the analytical hierarchy I, Pacific J. Math., 60 (1975), 223–227.
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.
A. S. Kechris and Y. N. Moschovakis, Notes on the theory of scales, Cabal Seminar 76–77, ibid., 1–54.
A. S. Kechris and Y. N. Moschovakis, Recursion in higher types, Handbook of Mathematical Logic, J. Barwise (ed.), North Holland, 1977, 681–737.
A. S. Kechris and R. M. Solovay, On the relative consistency strength of determinacy hypothesis, to appear.
A. S. Kechris and W. H. Woodin, The equivalence of partition properties and determinacy, mimeographed notes, March 1982.
K. Kunen, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic, 1 (1970), 179–227.
D. A. Martin, Measurable cardinals and analytic games, Fund. Math., 66 (1970), 287–291.
D. A. Martin, Proof of a conjecture of Friedman, Proc. Amer. Math. Soc., 55 (1976), 129.
D. A. Martin, The largest countable this, that, and the other, this volume.
D. A. Martin, Borel and projective games, to appear.
D. A. Martin, Infinite games, Proc. Intern. Congress of Mathematicians, Helsinki 1978, 269–273.
D. A. Martin, Y. N. Moschovakis and J. R. Steel, The extend of scales, Bull. Amer. Math. Soc., 6 (1982), 435–440.
W. Mitchell, Sets constructible from sequences of ultrafilters, J. Symb. Logic, 39 (1974), 57–66.
W. Mitchell, Hypermeasurable cardinals, Logic Colloquium '78, M. Boffa et al. (eds.), North-Holland, 1979, 303–316.
W. Mitchell, The core model for sequences of ultrafilters, to appear.
Y. N. Moschovakis, Hyperanalytic predicates, Trans. Amer. Math. Soc., 129 (1967), 249–282.
Y. N. Moschovakis, Inductive scales on inductive sets, Cabal Seminar 76–77, ibid., 185–192.
Y. N. Moschovakis, Descriptive Set Theory, North-Holland, 1980.
R. M. Solovay, On the cardinality of Σ 12 sets of reals, Foundations of Mathematics, Bullof et al. (eds.), Springer-Verlag, 1969, 58–73.
J. R. Steel, A classification of jump operators, J. Symb. Logic, 47 (1982), 347–358.
J. R. Steel, Scales on Σ 11 sets, this volume.
Author information
Authors and Affiliations
Editor information
Rights 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