Canonical forms of Borel functions on the Milliken space

Klein, Olaf; Spinas, Otmar

doi:10.1090/S0002-9947-05-04000-6

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