{"id":"arxiv/2603.14264","url":"https://arxiv.org/abs/2603.14264","tags":["math.LO"],"score":0,"title":"A $wtt$-introimmune set in \\texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"We prove that there exists a weak truth-table introimmune set in the class $Π^0_1$, settling the question left open in previous work of whether the known $Δ^0_2$ existence result can be improved to $Π^0_1$. Since $Σ^0_1$ sets cannot be immune, this is best possible for weak truth-table introimmunity. We also study introimmunity for Jockusch's bounded-search reducibility $\\le_{bs}$ and Andersen's Dartmouth reducibility $\\le_D$, proving the existence of $Δ^0_2$ sets that are $bs$-introimmune and $D$-introimmune; hence there also exists a $Δ^0_2$ $D^+$-introimmune set. We next consider the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-15","reactions":{}}