{"id":"arxiv/2603.02600","url":"https://arxiv.org/abs/2603.02600","tags":["math.LO"],"score":0,"title":"$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"In recent work, the notion of $m$-rigidity was introduced as a sufficient condition for the existence of infinite antichains of $1$-degrees inside many-one degrees. Motivated by a recent preprint of Richter, Stephan, and Zhang on finite-one degrees inside many-one degrees, we study the finite-one structure of the many-one degree of an $m$-rigid set. First, combining bi-immunity of $m$-rigid sets with a theorem of Richter, Stephan, and Zhang, we show that for Lebesgue-almost every set $A$, and for a comeager class of sets $A$, the many-one degree $°_m(A)$ contains a least finite-one degree.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-03","reactions":{}}