{"id":"arxiv/2604.10879","url":"https://arxiv.org/abs/2604.10879","tags":["math.LO"],"score":0,"title":"A computably enumerable many-one degree with no least finite-one degree","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-13","reactions":{}}