Non-universality conjecture for height-one locally countable Borel quasi-orders
Non-universality conjecture for height-one locally countable Borel quasi-orders
A quasi-order is a reflexive and transitive relation, and its height is the length of the longest strictly decreasing chain, equivalently the height of the partial order obtained by quotienting by when and . A quasi-order on a standard Borel space is locally countable when every element has at most countably many strict predecessors, and it is Borel when its underlying relation is Borel. Non-universality conjecture. There is a locally countable Borel quasi-order of height one which is not Borel reducible to Turing reducibility. This would show that the height-one quasi-order analogue of Kechris's universality conjecture fails; the paper contrasts it with its positive result for height-two locally countable Borel partial orders.
Sources & referencesView supporting material
Primary source
Kojiro Higuchi and Patrick Lutz, “A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders”, arXiv:2309.01876 (2023).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.