کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662216 1633532 2008 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On strongly jump traceable reals
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
On strongly jump traceable reals
چکیده انگلیسی

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 -complete.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 154, Issue 1, May 2008, Pages 51-69