A Special $Π^0_1$ Class with the Join Property but without Pseudojump Inversion
Jananthan and Simpson showed that special $Π^0_1$ classes exist in three of the four possible cases determined by whether the Join Property and the Pseudojump Inversion Property hold, leaving open the existence of a special $Π^0_1$ class with the Join Property but not the Pseudojump Inversion Property. We construct such a class, thereby answering their question affirmatively and completing the four-way existence pattern. Moreover, the class can be chosen to consist entirely of generalized low reals, with the Join Property holding locally on every nonempty relatively basic open subclass. More…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.37480
curl -X POST /api/v1/records/arxiv/2609.37480/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37480/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'