Hostname: page-component-cc8bf7c57-qfg88 Total loading time: 0 Render date: 2024-12-11T23:06:50.673Z Has data issue: false hasContentIssue false
  • English
  • Français

On the Ramsey property for sets of reals

Published online by Cambridge University Press:  12 March 2014

Ilias G. Kastanas
Ilias G. Kastanas*
Affiliation:
California State University, Los Angeles, California 90032
Get access Rights & Permissions [Opens in a new window]

Abstract

We review some known results about the Ramsey property for partitions of reals, and we present a certain two-person game such that if either player has a winning strategy then a homogeneous set for the partition can be constructed, and conversely. This gives alternative proofs of some of the known results. We then discuss possible uses of the game in obtaining effective versions of Ramsey's theorem and prove a theorem along these lines.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 48 , Issue 4 , December 1983 , pp. 1035 - 1045
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Ellentuck, E., A new proof that analytic sets are Ramsey, this Journal, vol. 39 (1974), pp. 163–165.Google Scholar
[2]Galvin, F. and Prikry, K., Borel sets and Ramsey's theorem, this Journal, vol 38 (1973), pp. 193–198.Google Scholar
[3]Harrington, L. and Kechris, A., On the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), pp. 109–154.CrossRefGoogle Scholar
[4]Kechris, A., Descriptive set theory, lecture notes, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1973.Google Scholar
[5]Kechris, A., Forcing in analysis, Higher set theory, Proceedings, Oberwolfach, 1977(Mueller, G.H. and Scott, D. S., editors), Lecture Notes in Mathematics, Vol. 669, Springer-Verlag, Berlin, 1978, pp.277–302.Google Scholar
[6]Kechris, A., Spector second order classes and reflection, Generalized recursion theory. II (Fenstad, J. E., Gandy, R. O. and Sacks, G. E., editors), North-Holland, Amsterdam, 1978, pp. 147–183.Google Scholar
[7]Kechris, A., An overview of descriptive set theory, Choquet Seminar notes 1978/79, Exposé 4, Université de Paris VI, Paris, 1979.Google Scholar
[8]Mansfield, R., A footnote to a theorem of Solovay, Logic Colloquium '77 (Macintyre, A., Pacholski, L. and Paris, J., editors), North-Holland, Amsterdam, 1978, pp. 195–198.CrossRefGoogle Scholar
[9]Martin, D., Borel determinacy, Annals of Mathematics, ser. 2, vol. 102 (1975), pp. 363–371.CrossRefGoogle Scholar
[10]Moschovakis, Y., Descriptive set theory, North-Holland, Amsterdam, 1980.Google Scholar
[11]Prikry, K., Determinateness and partitions, Proceedings of the American Mathematical Society, vol. 54 (1976), pp. 303–306.CrossRefGoogle Scholar
[12]Rogers, H., Theory of recursive functions and effective computabllity, McGraw-Hill, New York, 1967.Google Scholar
[13]Silver, J., Every analytic set is Ramsey, this Journal, vol. 35 (1970), pp. 60–64.Google Scholar
[14]Solovay, R., Hyperarithmetically encodable sets, Transactions of the American Mathematical Society, vol. 239 (1978), pp. 99–122.CrossRefGoogle Scholar