1 problem

Non-universality conjecture for height-one locally countable Borel quasi-orders
A quasi-order $(P,\leq_P)$ is a reflexive and transitive relation, and its height is the length of the longest strictly decreasing chain, equivalently the height of the partial ord…
openFrom paperscomputability-theory descriptive-set-theory quasi-orders
0 responses
5

Non-universality conjecture for height-one locally countable Borel quasi-orders