{"id":"arxiv/2610.27643","url":"https://arxiv.org/abs/2610.27643","tags":["math.LO"],"score":0,"title":"The first-order part of the Ordered Variable Word theorem","domain":"math.LO","source":"arxiv","authors":["Ludovic Patey"],"reviews":0,"subject":"math.LO","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}