No Borel upper bound for the $F_σ$ equivalence relations
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.02531
curl -X POST /api/v1/records/arxiv/2611.02531/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.02531/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'