A computably enumerable many-one degree with no least finite-one degree
Richter, Stephan, and Zhang asked whether every nonrecursive many-one degree contains a least finite-one degree. We solve this question in the negative, already within the class of computably enumerable many-one degrees. Positive answers are known in two disjoint natural settings: for a measure-one and comeager class of $m$-rigid sets, and, in a companion paper, for computably enumerable many-one degrees containing a $D$-maximal set. We construct a nonrecursive \ce\ set $A$ such that for every set $X \eqm A$ there exists a c.e.\ set $B \eqm A$ with $X \not\lfo B$. Hence the many-one degree…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.10879
curl -X POST /api/v1/records/arxiv/2604.10879/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.10879/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'