A Note on Lowness for $Π^0_1$-Immunity
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.13297
curl -X POST /api/v1/records/arxiv/2609.13297/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.13297/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'