{"id":"arxiv/2607.28116","url":"https://arxiv.org/abs/2607.28116","tags":["math.LO"],"score":0,"title":"$Π^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","domain":"math.LO","source":"arxiv","authors":["Quentin Le Houérou","Ludovic Patey"],"reviews":0,"subject":"math.LO","summary":"Carlson and Simpson proved that for every finite coloring of the 1-variable words over a finite alphabet~$A$, there is an infinite $ω$-variable word on which all the 1-variable words are monochromatic. This statement for $\\ell$-colorings, written $\\mathsf{CSL}^1_\\ell$, is known to be strictly weaker than $\\mathsf{ACA}_0$. We prove that $\\mathsf{RCA}_0 + \\mathsf{CSL}^1_2$ is a $\\forall Π^0_4$-conservative extension of $\\mathsf{RCA}_0 + \\mathsf{B}Sigma_2$. Among its consequences, it implies that neither the indivisibility of the universal triangle-free Henson graph for 2-colorings, nor the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}