Canonical forms of Borel functions on the Milliken space
HTML articles powered by AMS MathViewer
- by Olaf Klein and Otmar Spinas PDF
- Trans. Amer. Math. Soc. 357 (2005), 4739-4769 Request permission
Abstract:
The goal of this paper is to canonize Borel measurable mappings $\Delta \colon \Omega ^\omega \to \mathbb {R}$, where $\Omega ^\omega$ is the Milliken space, i.e., the space of all increasing infinite sequences of pairwise disjoint nonempty finite sets of $\omega$. This main result is a common generalization of a theorem of Taylor and a theorem of Prömel and Voigt.References
- F. P. Ramsey, On a problem of formal logic, Proceedings of the London Mathematical Society (2), vol. 30 (1930), pp. 264–286.
- P. Erdös and R. Rado, A combinatorial theorem, J. London Math. Soc. 25 (1950), 249–255. MR 37886, DOI 10.1112/jlms/s1-25.4.249
- K. Kuratowski, Topology. Vol. I, Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1966. New edition, revised and augmented; Translated from the French by J. Jaworowski. MR 0217751
- A. R. D. Mathias, On a generalization of Ramsey’s theorems, Notices of the American Mathematical Society, vol. 15 (1968), p. 931.
- Jack Silver, Every analytic set is Ramsey, J. Symbolic Logic 35 (1970), 60–64. MR 332480, DOI 10.2307/2271156
- R. L. Graham and B. L. Rothschild, Ramsey’s theorem for $n$-parameter sets, Trans. Amer. Math. Soc. 159 (1971), 257–292. MR 284352, DOI 10.1090/S0002-9947-1971-0284352-8
- Fred Galvin and Karel Prikry, Borel sets and Ramsey’s theorem, J. Symbolic Logic 38 (1973), 193–198. MR 337630, DOI 10.2307/2272055
- James E. Baumgartner, A short proof of Hindman’s theorem, J. Combinatorial Theory Ser. A 17 (1974), 384–386. MR 354394, DOI 10.1016/0097-3165(74)90103-4
- Erik Ellentuck, A new proof that analytic sets are Ramsey, J. Symbolic Logic 39 (1974), 163–165. MR 349393, DOI 10.2307/2272356
- Neil Hindman, Finite sums from sequences within cells of a partition of $N$, J. Combinatorial Theory Ser. A 17 (1974), 1–11. MR 349574, DOI 10.1016/0097-3165(74)90023-5
- Keith R. Milliken, Ramsey’s theorem with sums or unions, J. Combinatorial Theory Ser. A 18 (1975), 276–290. MR 373906, DOI 10.1016/0097-3165(75)90039-4
- Alan D. Taylor, A canonical partition relation for finite subsets of $\omega$, J. Combinatorial Theory Ser. A 21 (1976), no. 2, 137–146. MR 424571, DOI 10.1016/0097-3165(76)90058-3
- A. R. D. Mathias, Happy families, Ann. Math. Logic 12 (1977), no. 1, 59–111. MR 491197, DOI 10.1016/0003-4843(77)90006-7
- Pavel Pudlák and Vojtěch Rödl, Partition theorems for systems of finite subsets of integers, Discrete Math. 39 (1982), no. 1, 67–73. MR 677888, DOI 10.1016/0012-365X(82)90041-3
- Hans Jürgen Prömel and Bernd Voigt, Canonical forms of Borel-measurable mappings $\Delta \colon \ [\omega ]^\omega \to \textbf {R}$, J. Combin. Theory Ser. A 40 (1985), no. 2, 409–417. MR 814423, DOI 10.1016/0097-3165(85)90099-8
- Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
- S. Todorcevic, Infinite-Dimensional Ramsey Theory, Preprint, (1998).
- Otmar Spinas, Canonical behavior of Borel functions on superperfect rectangles, J. Math. Log. 1 (2001), no. 2, 173–220. MR 1864736, DOI 10.1142/S0219061301000090
Additional Information
- Olaf Klein
- Affiliation: Mathematisches Seminar, Christian-Albrechts-Universität Zu Kiel, Ludewig-Meyn-Strasse 4, 24098 Kiel, Germany
- Otmar Spinas
- Affiliation: Mathematisches Seminar, Christian-Albrechts-Universität Zu Kiel, Ludewig-Meyn-Strasse 4, 24098 Kiel, Germany
- Email: spinas@math.uni-kiel.de
- Received by editor(s): March 12, 2002
- Published electronically: July 19, 2005
- Additional Notes: The second author was partially supported by DFG grant SP 683
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 357 (2005), 4739-4769
- MSC (2000): Primary 03E15, 05D10, 54H05
- DOI: https://doi.org/10.1090/S0002-9947-05-04000-6
- MathSciNet review: 2165386