{"id":"arxiv/2609.13297","url":"https://arxiv.org/abs/2609.13297","tags":["math.LO"],"score":0,"title":"A Note on Lowness for $Π^0_1$-Immunity","domain":"math.LO","source":"arxiv","authors":["David J. Webb"],"reviews":0,"subject":"math.LO","summary":"We show that the only degree which cannot co-enumerate a non-trivial $Π^0_1$-immune real is $\\emptyset$, resolving a conjecture of the author. The main ingredient is that if a real $A$ has that all $A$-maximal sets are c.e., then $A$ has c.e. degree, which can be proved via a coding mechanism and two classical results of Lachlan.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}