A Bounded Finite-One Degree Whose One-One Degrees Form Exactly a Dense Linear Order
We construct a set $U\leq_T\emptyset''$ whose bounded finite-one degree, ordered internally by one-one reducibility, consists exactly of a countable dense linear order without endpoints. More precisely, \[ \left( \{[B]_1:B\equiv_{\mathrm{bfo}}U\},\leq_1 \right) \cong (\mathbb Q,\leq). \] This exact realization contrasts with two previous results. In earlier work, a bounded finite-one degree was constructed that contains a copy of $(\mathbb Q,\leq)$, but the same degree also contains an infinite antichain of one-one degrees and, more generally, embedded copies of all countable partial orders;…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.08092
curl -X POST /api/v1/records/arxiv/2609.08092/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.08092/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'