Homogeneity for open partitions of pairs of reals
HTML articles powered by AMS MathViewer
- by Qi Feng PDF
- Trans. Amer. Math. Soc. 339 (1993), 659-684 Request permission
Abstract:
We prove a partition theorem for analytic sets of reals, namely, if $A \subseteq \mathbb {R}$ is analytic and ${[A]^2} = {K_0} \cup {K_1}$ with ${K_0}$ relatively open, then either there is a perfect $0$-homogeneous subset or $A$ is a countable union of $1$-homogeneous subsets. We also show that such a partition property for coanalytic sets is the same as that each uncountable coanalytic set contains a perfect subset. A two person game for this partition property is also studied. There are some applications of such partition properties.References
- Uri Abraham, Matatyahu Rubin, and Saharon Shelah, On the consistency of some partition theorems for continuous colorings, and the structure of $\aleph _1$-dense real order types, Ann. Pure Appl. Logic 29 (1985), no. 2, 123–206. MR 801036, DOI 10.1016/0168-0072(84)90024-1
- James E. Baumgartner, Applications of the proper forcing axiom, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 913–959. MR 776640
- Andreas Blass, A partition theorem for perfect sets, Proc. Amer. Math. Soc. 82 (1981), no. 2, 271–277. MR 609665, DOI 10.1090/S0002-9939-1981-0609665-0
- Morton Davis, Infinite games of perfect information, Advances in Game Theory, Princeton Univ. Press, Princeton, N.J., 1964, pp. 85–101. MR 0170727
- A. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43–75. MR 611394, DOI 10.1016/0003-4843(81)90011-5
- P. Erdös and R. Rado, A partition calculus in set theory, Bull. Amer. Math. Soc. 62 (1956), 427–489. MR 81864, DOI 10.1090/S0002-9904-1956-10036-0
- F. M. Filipczak, Sur les fonctions continues relativement monotones, Fund. Math. 58 (1966), 75–87 (French). MR 188381, DOI 10.4064/fm-58-1-75-87 F. Galvin, Partition theorems for the real line, Notices Amer. Math. Soc. 15 (1968), 660.
- Leo Harrington, David Marker, and Saharon Shelah, Borel orderings, Trans. Amer. Math. Soc. 310 (1988), no. 1, 293–302. MR 965754, DOI 10.1090/S0002-9947-1988-0965754-3
- Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
- D. Donder, R. B. Jensen, and B. J. Koppelberg, Some applications of the core model, Set theory and model theory (Bonn, 1979) Lecture Notes in Math., vol. 872, Springer, Berlin-New York, 1981, pp. 55–97. MR 645907
- Richard Mansfield, Perfect subsets of definable sets of real numbers, Pacific J. Math. 35 (1970), 451–457. MR 280380
- Donald A. Martin and John R. Steel, Projective determinacy, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6582–6586. MR 959109, DOI 10.1073/pnas.85.18.6582
- Donald A. Martin and John R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), no. 1, 71–125. MR 955605, DOI 10.1090/S0894-0347-1989-0955605-X
- Jan Mycielski, Independent sets in topological algebras, Fund. Math. 55 (1964), 139–147. MR 173645, DOI 10.4064/fm-55-2-139-147 F. Ramsey, On a problem of formal logic, Proc. London Math. Soc. 30 (1930), 264-286. W. Sierpiński, Sur un problème de la théorie des relations, Ann. Scuola Norm. Sup. Pisa 2 (1937), 285-287.
- J. R. Shoenfield, The problem of predicativity, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 132–139. MR 0164886
- Robert M. Solovay, On the cardinality of $\sum _{2}^{1}$ sets of reals, Foundations of Mathematics (Symposium Commemorating Kurt Gödel, Columbus, Ohio, 1966) Springer, New York, 1969, pp. 58–73. MR 0277382
- Stevo Todorčević, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1989. MR 980949, DOI 10.1090/conm/084 —, Two examples of Borel partially ordered sets with countable chain conditions, preprint, 1990. —, Conference talk, MSRI, October 1989. B. Velickovic, Conference talk, MSRI, October 1989.
- W. Hugh Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6587–6591. MR 959110, DOI 10.1073/pnas.85.18.6587
- P. Erdős, K. Kunen, and R. Daniel Mauldin, Some additive properties of sets of real numbers, Fund. Math. 113 (1981), no. 3, 187–199. MR 641304, DOI 10.4064/fm-113-3-187-199
- David Gale and F. M. Stewart, Infinite games with perfect information, Contributions to the theory of games, vol. 2, Annals of Mathematics Studies, no. 28, Princeton University Press, Princeton, N.J., 1953, pp. 245–266. MR 0054922
- 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 265151, DOI 10.2307/1970696
- Arnold W. Miller, Special subsets of the real line, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 201–233. MR 776624
- R. M. Solovay and S. Tennenbaum, Iterated Cohen extensions and Souslin’s problem, Ann. of Math. (2) 94 (1971), 201–245. MR 294139, DOI 10.2307/1970860
- Donald A. Martin, Borel determinacy, Ann. of Math. (2) 102 (1975), no. 2, 363–371. MR 403976, DOI 10.2307/1971035
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 339 (1993), 659-684
- MSC: Primary 03E05; Secondary 03E15, 03E60
- DOI: https://doi.org/10.1090/S0002-9947-1993-1113695-5
- MathSciNet review: 1113695