{"id":"arxiv/2610.35025","url":"https://arxiv.org/abs/2610.35025","tags":["math.LO","math.FA"],"score":0,"title":"Comparisons of benchmark equivalence relations","domain":"math.LO","source":"arxiv","authors":["Ruijun Wang"],"reviews":0,"subject":"math.LO","summary":"We determine the Borel-reducibility comparison of each pair of $\\mathbfΠ^0_3$ benchmark equivalence relations in Gao's monograph. The additional comparisons we prove are $E_\\infty\\leq_B c_0$, $E_\\infty\\nleq_B\\ell_p$ for $2<p<\\infty$, $\\ell_p\\nleq_B{\\equiv_m}$ for $2<p<\\infty$, $c_0\\nleq_B{\\equiv_m}$, $c_0\\nleq_B\\ell_\\infty^+$ and $\\equiv_m\\nleq_B\\ell_\\infty^+$. Together with the previous positive direction, these give $\\ell_p\\leq_B{\\equiv_m}$ if and only if $p\\leq2$. These answer several questions in Gao's monograph and Kanovei' monograph. We also prove that unitary equivalence of all…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}