{"id":"arxiv/2609.23494","url":"https://arxiv.org/abs/2609.23494","tags":["math.LO"],"score":0,"title":"Borel-Tukey morphisms between Ramsey homogeneity relations","domain":"math.LO","source":"arxiv","authors":["Tatsuya Goto"],"reviews":0,"subject":"math.LO","summary":"We study Borel-Tukey morphisms between almost-homogeneity relations. For finite $r,s\\ge1$ and $m,n\\ge2$, we give the complete one-stage classification: $\\mathbf{Hom}^r_m\\to_{\\mathrm{BT}}\\mathbf{Hom}^s_n$ holds exactly when $r>s$, or when $r=s$ and $m\\ge n$. Our main result is that binary triple homogeneity requires exactly three sequential binary pair stages: $\\mathbf{Hom}^2_2;\\mathbf{Hom}^2_2;\\mathbf{Hom}^2_2\\longrightarrow_{\\mathrm{BT}}\\mathbf{Hom}^3_2$ and $\\mathbf{Hom}^2_2;\\mathbf{Hom}^2_2\\not\\longrightarrow_{\\mathrm{BT}}\\mathbf{Hom}^3_2$. We also construct Borel morphisms…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-20","reactions":{}}