کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661934 1633475 2013 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Highness, locally noncappability and nonboundings
ترجمه فارسی عنوان
بلندی، غیرقابلیت و ناپیوندی به صورت محلی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

In this paper, we improve a result of Seetapun and prove that above any nonzero, incomplete recursively enumerable (r.e.) degree a, there is a high2 r.e. degree c>a witnessing that a is locally noncappable (Theorem 1.1). Theorem 1.1 provides a scheme of obtaining high2 nonboundings (Theorem 1.6), as all known high2 nonboundings, such as high2 degrees bounding no minimal pairs, high2 plus-cuppings, etc.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 5, May 2013, Pages 511-522