拉姆齐定理、欣德曼定理和黑尔斯 - 朱厄特定理的同时扩展
A simultaneous extension of Ramsey, Hindman, and Hales-Jewett Theorems
AI总结：
研究证明强黑尔斯 - 朱厄特定理的多维扩展，该扩展同时涵盖拉姆齐定理和欣德曼定理。核心方法是基于迭代非标准扩展技术，此技术论证无需最小或幂等超滤子，还能转化为仅需非主超滤子的证明。
AI中文摘要：
我们证明了一个强黑尔斯 - 朱厄特定理的多维扩展，它同时且“直接”地扩展了拉姆齐定理和欣德曼定理。证明展示了基于迭代非标准扩展的技术的有效性和简单性。与现有超滤子证明不同，我们证明强黑尔斯 - 朱厄特定理的论证既不假设最小超滤子也不假设幂等超滤子。为证明此，我们将强黑尔斯 - 朱厄特定理的证明转化为仅需非主超滤子的超滤子证明。
英文摘要：
We prove a multidimensional extension of a strong Hales-Jewett theorem that simultaneously and "directly" extends Ramsey's theorem and Hindman's theorem. The proofs show the effectiveness and simplicity of the techniques based on iterated nonstandard extensions that have been recently developed. Unlike existing ultrafilter proofs, our arguments to prove the strong Hales-Jewett theorem assume neither minimal nor idempotent ultrafilters. To demonstrate this, we translate our proof of the strong Hales-Jewett theorem into an ultrafilter proof that requires only non-principal ultrafilters.
