Title of article
On strongly jump traceable reals
Author/Authors
Ng، نويسنده , , Keng Meng، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
19
From page
51
To page
69
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
Serial Year
2008
Journal title
Annals of Pure and Applied Logic
Record number
1444241
Link To Document