Title of article :
On strongly jump traceable reals
Author/Authors :
Ng، نويسنده , , Keng Meng، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Abstract :
In this paper we show that there is no minimal bound for jump traceability. In particular, there is no single order function such that strong jump traceability is equivalent to jump traceability for that order. The uniformity of the proof method allows us to adapt the technique to showing that the index set of the c.e. strongly jump traceables is Π 4 0 -complete.
Keywords :
Minimal bound , Completeness , Strongly jump traceable
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic