Year: 2026
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Webb, David J.
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213225767