{"id":"arxiv/2602.19960","url":"https://arxiv.org/abs/2602.19960","tags":["math.LO"],"score":0,"title":"Rigid many-one degrees contain infinite antichains of $1$-degrees","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"Odifreddi asked whether every non-irreducible many-one degree must contain an infinite antichain of one-one degrees. Positive answers are known for computably enumerable many-one degrees (Degtev) and, more recently, for many-one degrees admitting a $Δ^0_2$ representative (Batyrshin). In this note we isolate a rigidity principle behind these phenomena. Call a set $A\\subseteqω$ \\emph{$m$-rigid} if every total computable $m$-autoreduction of $A$ is eventually the identity. We prove that if $A$ is $m$-rigid, then its many-one degree $°_m(A)$ contains an infinite antichain of $1$-degrees. The…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-23","reactions":{}}