|
Ideal games and Ramsey sets
Authors:
Carlos Di Prisco, José G. Mijares and Carlos Uzcátegui
Journal:
Proc. Amer. Math. Soc. 140 (2012), 2255-2265
MSC (2010):
Primary 05D10; Secondary 03E02
Posted:
November 1, 2011
Full-text PDF
Abstract |
References |
Similar Articles |
Additional Information
Abstract: It is shown that Matet's characterization of the Ramsey property relative to a selective co-ideal , in terms of games of Kastanas, still holds if we consider semiselectivity instead of selectivity. Moreover, we prove that a co-ideal is semiselective if and only if Matet's game-theoretic characterization of the -Ramsey property holds. This lifts Kastanas's characterization of the classical Ramsey property to its optimal setting, from the point of view of the local Ramsey theory, and gives a game-theoretic counterpart to a theorem of Farah, asserting that a co-ideal is semiselective if and only if the family of -Ramsey subsets of coincides with the family of those sets having the abstract -Baire property. Finally, we show that under suitable assumptions, for every semiselective co-ideal all sets of real numbers are -Ramsey.
- 1.
Todd
Eisworth, Selective ultrafilters and
𝜔→(𝜔)^{𝜔}, Proc.
Amer. Math. Soc. 127 (1999), no. 10, 3067–3071. MR 1600136
(2000a:03083), http://dx.doi.org/10.1090/S0002-9939-99-04835-2
- 2.
Erik
Ellentuck, A new proof that analytic sets are Ramsey, J.
Symbolic Logic 39 (1974), 163–165. MR 0349393
(50 #1887)
- 3.
Ilijas
Farah, Semiselective coideals, Mathematika 45
(1998), no. 1, 79–103. MR 1644345
(2000b:03165), http://dx.doi.org/10.1112/S0025579300014054
- 4.
Fred
Galvin and Karel
Prikry, Borel sets and Ramsey’s theorem, J. Symbolic
Logic 38 (1973), 193–198. MR 0337630
(49 #2399)
- 5.
Thomas
Jech, Set theory, Springer Monographs in Mathematics,
Springer-Verlag, Berlin, 2003. The third millennium edition, revised and
expanded. MR
1940513 (2004g:03071)
- 6.
Ilias
G. Kastanas, On the Ramsey property for sets of reals, J.
Symbolic Logic 48 (1983), no. 4, 1035–1045
(1984). MR
727792 (85j:03080), http://dx.doi.org/10.2307/2273667
- 7.
Alexander
S. Kechris, Classical descriptive set theory, Graduate Texts
in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597
(96e:03057)
- 8.
Alain
Louveau, Une méthode topologique pour l’étude
de la propriété de Ramsey, Israel J. Math.
23 (1976), no. 2, 97–116 (French, with English
summary). MR
0411971 (54 #100)
- 9.
Pierre
Matet, Happy families and completely Ramsey sets, Arch. Math.
Logic 32 (1993), no. 3, 151–171. MR 1201647
(94i:03095), http://dx.doi.org/10.1007/BF01375549
- 10.
A.
R. D. Mathias, Happy families, Ann. Math. Logic
12 (1977), no. 1, 59–111. MR 0491197
(58 #10462)
- 11.
Yiannis
N. Moschovakis, Descriptive set theory, Studies in Logic and
the Foundations of Mathematics, vol. 100, North-Holland Publishing
Co., Amsterdam, 1980. MR 561709
(82e:03002)
- 12.
Jack
Silver, Every analytic set is Ramsey, J. Symbolic Logic
35 (1970), 60–64. MR 0332480
(48 #10807)
- 13.
Robert
M. Solovay, A model of set-theory in which every set of reals is
Lebesgue measurable, Ann. of Math. (2) 92 (1970),
1–56. MR
0265151 (42 #64)
- 14.
Stevo
Todorcevic, Introduction to Ramsey spaces, Annals of
Mathematics Studies, vol. 174, Princeton University Press, Princeton,
NJ, 2010. MR
2603812 (2011i:05263)
- 1.
- Eisworth, T., Selective ultrafilters and
, Proc. Amer. Math. Soc., 127 (1999) 3067-3071. MR 1600136 (2000a:03083)
- 2.
- Ellentuck, E., A new proof that analytic sets are Ramsey, J. Symbolic Logic, 39 (1974), 163-165. MR 0349393 (50:1887)
- 3.
- Farah, I., Semiselective co-ideals. Mathematika, 45 (1997), 79-103. MR 1644345 (2000b:03165)
- 4.
- Galvin, F., and K. Prikry, Borel sets and Ramsey's theorem, J. Symbolic Logic, 38 (1973), 193-198. MR 0337630 (49:2399)
- 5.
- Jech, T., Set Theory. Springer Verlag, 2003. MR 1940513 (2004g:03071)
- 6.
- Kastanas, I., On the Ramsey property for sets of reals. J. Symbolic Logic, 48 (1983), 1035-1045. MR 727792 (85j:03080)
- 7.
- Kechris, A.S., Classical Descriptive Set Theory. Springer-Verlag. Grad. Texts in Math. 156, 1995. MR 1321597 (96e:03057)
- 8.
- Louveau, A., Une méthode topologique pour l'étude de la propriété de Ramsey. Israel J. Math., 23 (1976), 97-116. MR 0411971 (54:100)
- 9.
- Matet, P., Happy Families and Completely Ramsey Sets. Springer-Verlag, Archive for Mathematical Logic, 32 (1993), 151-171. MR 1201647 (94i:03095)
- 10.
- Mathias, A.R.D., Happy families. Annals of Mathematical Logic, 12 (1977), 59-111. MR 0491197 (58:10462)
- 11.
- Moschovakis, Y.N., Descriptive Set Theory. North-Holland, Amsterdam, 1980. MR 561709 (82e:03002)
- 12.
- Silver, J., Every analytic set is Ramsey, J. Symbolic Logic, 35 (1970) 60-64. MR 0332480 (48:10807)
- 13.
- Solovay, R. M., A model of set-theory in which every set of reals is Lebesgue measurable. Annals of Mathematics (2), 92 (1970), 1-56. MR 0265151 (42:64)
- 14.
- Todorcevic, S., Introduction to Ramsey Spaces, Princeton University Press, Princeton, New Jersey, 2010. MR 2603812
Similar Articles
Retrieve articles in Proceedings of the American Mathematical Society
with MSC (2010):
05D10,
03E02
Retrieve articles in all journals
with MSC (2010):
05D10,
03E02
Additional Information
Carlos Di Prisco
Affiliation:
Instituto Venezolano de Investigaciones Científicas y Escuela de Matemática, Universidad Central de Venezuela, Caracas, Venezuela
Email:
cdiprisc@ivic.gob.ve
José G. Mijares
Affiliation:
Instituto Venezolano de Investigaciones Científicas y Escuela de Matemática, Universidad Central de Venezuela, Caracas, Venezuela
Address at time of publication:
Departamento de Matematicas, Pontificia Universidad Javeriana, Bogota, Colombia
Email:
jmijares@ivic.gob.ve, jose.mijares@ciens.ucv.ve, jmijares@javeriana.edu.co
Carlos Uzcátegui
Affiliation:
Departamento de Matemáticas, Facultad de Ciencias, Universidad de Los Andes, Mérida, Venezuela
Email:
uzca@ula.ve
DOI:
http://dx.doi.org/10.1090/S0002-9939-2011-11090-6
PII:
S 0002-9939(2011)11090-6
Keywords:
Semiselective co-ideal,
Ramsey theory,
Kastanas games,
Banach-Mazur games
Received by editor(s):
September 19, 2010
Received by editor(s) in revised form:
February 19, 2011
Posted:
November 1, 2011
Communicated by:
Julia Knight
Article copyright:
© Copyright 2011 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.
|