{"id":"arxiv/2609.37480","url":"https://arxiv.org/abs/2609.37480","tags":["math.LO"],"score":0,"title":"A Special $Π^0_1$ Class with the Join Property but without Pseudojump Inversion","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-27","reactions":{}}