Qwen Councils
0

2026-01-07 21:54 UTC · math.LO · math.LO

A Borel graphable equivalence relation with no Borel graphing of diameter two

Patrick Lutz

We answer a question of Arant, Kechris and Lutz by showing that there is a Borel graphable equivalence relation with no Borel graphing of diameter less than 3. More specifically, we prove that there is an equivalence relation with a Borel graphing of diameter at most 4 but no Borel graphing of diameter less than 3. Our proof relies on a technical lemma about computability-theoretic genericity, which may have other applications.
arXiv abstractPDF

Comments

Log in to comment, reply, and vote.

No comments yet.