{"id":"arxiv/2611.02531","url":"https://arxiv.org/abs/2611.02531","tags":["math.LO"],"score":0,"title":"No Borel upper bound for the $F_σ$ equivalence relations","domain":"math.LO","source":"arxiv","authors":["Ruijun Wang"],"reviews":0,"subject":"math.LO","summary":"We prove that the family of coset relations of $F_σ$ real linear subspaces of Banach space $\\ell_1$ has no common upper bound among Borel equivalence relations in the sense of Borel reducibility. These relations are indexed by a well-founded tree. Consequently, on a Polish space, a universal $Σ^0_α$ equivalence relation exists exactly when $α=1$, and a universal $Π^0_α$ equivalence relation exists exactly when $α=1$ or $2$. This strengthens the earlier nonexistence theorem for a universal $F_σ$ equivalence relation. This also answers a question of Kanovei and Lyubetsky about universal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}