On relative enumerability of Turing degrees

نویسنده

  • Shamil Ishmukhametov
چکیده

Let d be a Turing degree, R[d] and Q[d] denote respectively classes of recursively enumerable (r.e.) and all degrees in which d is relatively enumerable. We proved in [ta] that there is a degree d containing differences of r.e.sets (briefly, d.r.e.degree) such that R[d] possess a least element m>0. Now we show the existence of a d.r.e. d such that R[d] has no a least element. We prove also that for any REAdegree d below 0′ the class Q[d] cannot have a least element and more generally is not bounded below by a non-zero degree, except in trivial

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On structural similarities of finite automata and Turing machine enumerability classes

There are different ways of measuring the complexity of functions that map words to words. Well-known measures are time and space complexity. Enumerability is another possible measure. It is used in recursion theory, where it plays a key rôle in bounded query theory, but also in resource-bounded complexity theory, especially in connection with nonuniform computations. This dissertation transfer...

متن کامل

Spectra of Algebraic Fields and Subfields

An algebraic field extension of Q or Z/(p) may be regarded either as a structure in its own right, or as a subfield of its algebraic closure F (either Q or Z/(p)). We consider the Turing degree spectrum of F in both cases, as a structure and as a relation on F , and characterize the sets of Turing degrees that are realized as such spectra. The results show a connection between enumerability in ...

متن کامل

Relative enumerability in the di erence hierarchy

We show that the intersection of the class of 2-REA degrees with that of the !-r.e. degrees consists precisely of the class of d.r.e. degrees. We also include some applications and show that there is no natural generalization of this result to higher levels of the REA hierarchy.

متن کامل

Some improvements in fuzzy turing machines

In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...

متن کامل

On minimal wtt-degrees and computably enumerable Turing degrees

Computability theorists have studied many different reducibilities between sets of natural numbers including one reducibility (≤1), many-one reducibility (≤m), truth table reducibility (≤tt), weak truth table reducibility (≤wtt) and Turing reducibility (≤T ). The motivation for studying reducibilities stronger that Turing reducibility stems from internally motivated questions about varying the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Arch. Math. Log.

دوره 39  شماره 

صفحات  -

تاریخ انتشار 2000