A strengthened form of Dëgtev's argument and $D$-maximal many-one degrees
Dëgtev proved that if a noncomputable computably enumerable set \(U\) satisfies his property \((R)\) and the many-one degree of \(U\) contains no simple set, then the \(1\)-degree of \(U\) is minimal. We show that his proof yields the stronger conclusion that, for every noncomputable \(A\lem U\), \[ U\le_1 A. \] In particular, the injectivity of the reduction \(A\le_1 U\) with which Dëgtev begins his proof is not needed. Using the Cholak--Gerdes--Lange classification, we show that for a noncomputable \(D\)-maximal set \(D\), the hypothesis that its many-one degree contains no simple set is…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.15949
curl -X POST /api/v1/records/arxiv/2604.15949/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.15949/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'