کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661754 1633461 2014 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The ω-Turing degrees
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
The ω-Turing degrees
چکیده انگلیسی
In this paper we initiate the study of the ω-Turing reducibility between sequences of sets of natural numbers. We shall prove that the induced degree structure is an extension of the structure of the Turing degrees and that the two structures are closely connected, but different enough. Further we shall prove some definability results for the local theory of the newly defined structure.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 9, September 2014, Pages 1512-1532
نویسندگان
, ,