The first-order part of the Ordered Variable Word theorem
An ordered $ω$-variable sequence over a finite alphabet~$A$ is an infinite sequence over the extended alphabet $A \sqcup \{ x_0, x_1, \dots \}$, where each variable kind appears at least once, and the last occurrence of $x_i$ appears before the first occurrence of $x_{i+1}$. The Ordered Variable Word theorem states that for every finite coloring of the words over a finite alphabet~$A$, there is an ordered $ω$-variable sequence~$W$ over~$A$ such that every word induced by substituting variables with letters, and cutting before the first undefined variable, has the same color. In this article,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.27643
curl -X POST /api/v1/records/arxiv/2610.27643/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.27643/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'