Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
We construct a nonrecursive set \(A\le_T\emptyset'\) and a uniformly computable family of sets \(C_0,C_1,\dots\), all bounded finite-one equivalent to \(A\), such that the corresponding \(1\)-degrees form a copy of the dense linear order \((\mathbb Q,\le)\). Motivated by a recent preprint of Richter, Stephan, and Zhang, which shows that bounded finite-one degrees can be as rigid as a discrete \(ω\)-chain and asks whether there are bounded finite-one degrees consisting exactly of a dense linearly ordered set of \(1\)-degrees, we introduce a block-density profile method for controlling one-one…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.27901
curl -X POST /api/v1/records/arxiv/2603.27901/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.27901/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'