A simultaneous extension of Ramsey, Hindman, and Hales-Jewett Theorems
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.24413
curl -X POST /api/v1/records/arxiv/2607.24413/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.24413/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'