© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic reducibilities inside the degrees of weaker algorithmic ones. Results in this area are reviewed for algorithmic reducibilities m-, 1-, tt-, wtt-, T-, e-, s-, Q-, and we formulate questions that are still not settled for these. A computably enumerable Q-degree which consists of one computably enumerable m-degree is constructed
The need of formalizing a satisfactory notion of relative computability of partial functions leads ...
We describe all possible relations between certain reducibities of algebraic structures which are ba...
The need of formalizing a satisfactory notion of relative computability of partial functions leads ...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
The material presented in this paper lies in the realm of recursive function theory. Major emphasis ...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
Our objects of study are infinite sequences and how they can be transformed into each other. As tran...
Our objects of study are infinite sequences and how they can be transformed into each other. As tran...
Several problems in recursion theory on admissible o¡dinals (a-recursion theory) and recursion theor...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
The need of formalizing a satisfactory notion of relative computability of partial functions leads ...
We describe all possible relations between certain reducibities of algebraic structures which are ba...
The need of formalizing a satisfactory notion of relative computability of partial functions leads ...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
The material presented in this paper lies in the realm of recursive function theory. Major emphasis ...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
Our objects of study are infinite sequences and how they can be transformed into each other. As tran...
Our objects of study are infinite sequences and how they can be transformed into each other. As tran...
Several problems in recursion theory on admissible o¡dinals (a-recursion theory) and recursion theor...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
The need of formalizing a satisfactory notion of relative computability of partial functions leads ...
We describe all possible relations between certain reducibities of algebraic structures which are ba...
The need of formalizing a satisfactory notion of relative computability of partial functions leads ...