AI 中文总结
本研究回答Todorcevic的问题，证明拓扑Ramsey空间$\mathrm{FIN}^{[\infty]}_2$的高维典范化定理，拓展分离-混合技术，推广到Borel映射，给出$\mathrm{FIN}^{[n]}_2$典范函数的完整分类及数量显式公式。
AI 中文摘要
回答了Todorcevic的一个问题，我们证明了拓扑Ramsey空间$\mathrm{FIN}^{[\infty]}_2$的高维典范化定理。我们的结果建立在Lopez-Abad的工作之上，延续了Erdős与Rado开创、Pudlák和Rödl、Prömel和Voigt、Taylor、Klein和Spinas进一步发展的研究脉络。我们确定了$\mathrm{FIN}^{[\infty]}_2$的前沿上的典范函数，并拓展了Prömel和Voigt的分离-混合技术，以典范化任意函数$g:\mathcal{F}\to\omega$，其中$\mathcal{F}$是$\mathrm{FIN}^{[\infty]}_2$的一个前沿。我们进一步将典范化定理推广到任意Borel映射$g:\mathrm{FIN}^{[\infty]}_2\to\mathbb{R}$，建立了适用于Polish空间的新典范Ramsey定理。特别地，我们给出了$\mathrm{FIN}^{[n]}_2$上典范函数的完整分类，以及其数量作为$n$的函数的显式公式。
英文摘要
Answering a question of Todorcevic, we prove higher-dimensional canonization theorems for the topological Ramsey space $\mathrm{FIN}^{[\infty]}_2$. Our results build upon the work of Lopez-Abad and continue the line of research initiated by Erdős and Rado, and further developed by Pudlák and Rödl, Prömel and Voigt, Taylor, and Klein and Spinas. We identify the canonical functions on fronts of $\mathrm{FIN}^{[\infty]}_2$ and develop an extension of the separating-mixing technique of Prömel and Voigt to canonize arbitrary functions $g:\mathcal{F}\toω$, where $\mathcal{F}$ is a front of $\mathrm{FIN}^{[\infty]}_2$. We further extend our canonization theorem to arbitrary Borel maps $g:\mathrm{FIN}^{[\infty]}_2\to\mathbb{R}$, establishing new canonical Ramsey theorems for Polish spaces. In particular, we provide a complete classification of the canonical functions on $\mathrm{FIN}^{[n]}_2$, together with an explicit formula for their number as a function of $n$.
Comments64 pages
