A computably enumerable many-one degree with no least finite-one degree

Abstract

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 of $A$ contains no least finite-one degree. The proof is a finite-injury priority construction based on virtual target sets and a dynamic trap mechanism forcing any putative finite-one reduction either to violate finite-oneness or to compute an incorrect reduction.