Pseudojump inversion in special r. b. $\Pi^0_1$ classes
Logic
2021-02-12 v1
Abstract
The Jump Inversion Theorem says that for every real there is a real such that . A known refinement of this theorem says that we can choose to be a member of any special subclass of . We now consider the possibility of analogous refinements of two other well-known theorems: the Join Theorem -- for all reals and such that and , there is a real such that -- and the Pseudojump Inversion Theorem -- for all reals and every , there is a real such that . We show that in these theorems, can be found in some special subclasses of but not in others.
Cite
@article{arxiv.2102.06135,
title = {Pseudojump inversion in special r. b. $\Pi^0_1$ classes},
author = {Hayden R. Jananthan and Stephen G. Simpson},
journal= {arXiv preprint arXiv:2102.06135},
year = {2021}
}
Comments
19 pages, submitted for publication