{"id":"arxiv/2604.15949","url":"https://arxiv.org/abs/2604.15949","tags":["math.LO"],"score":0,"title":"A strengthened form of Dëgtev's argument and $D$-maximal many-one degrees","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-17","reactions":{}}