© 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
We identify a notion of reducibility between predicates, called instancereducibility, which commonly...
AbstractSeveral problems in recursion theory on admissible ordinals (α-recursion theory) and recursi...
Rod Downey , Victoria University of Wellington New Zealand Andr'e Nies y The University of...
© 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...
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...
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...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
In Recursion Theory (Computability Theory), we study Turing degrees in terms of their degree-theoret...
Abstract. A set A is symmetric enumeration (se-) reducible to a set B (A≤seB) if A is enumeration re...
The investigation of computably enumerable degrees has led to the deep understanding of degree struc...
We identify a notion of reducibility between predicates, called instancereducibility, which commonly...
AbstractSeveral problems in recursion theory on admissible ordinals (α-recursion theory) and recursi...
Rod Downey , Victoria University of Wellington New Zealand Andr'e Nies y The University of...
© 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...
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...
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...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
In Recursion Theory (Computability Theory), we study Turing degrees in terms of their degree-theoret...
Abstract. A set A is symmetric enumeration (se-) reducible to a set B (A≤seB) if A is enumeration re...
The investigation of computably enumerable degrees has led to the deep understanding of degree struc...
We identify a notion of reducibility between predicates, called instancereducibility, which commonly...
AbstractSeveral problems in recursion theory on admissible ordinals (α-recursion theory) and recursi...
Rod Downey , Victoria University of Wellington New Zealand Andr'e Nies y The University of...