In [2], Downey and Greenberg use the ordinals below ε0 to bound the number of mind-changes of computable approximations. This gives rise to a new transfinite hierarchy in the c.e. degrees; the totally α-c.a. degrees. This hierarchy is significant because it unifies the combinatorics of many constructions as well as giving natural definability results in the c.e. Turing degrees. We study the structure of this hierarchy; in particular we investigate collapse in upper cones. We give a proof in which we build a c.e. set using a strategy tree to show there is no uniform way to find a maximal totally ω^2-c.a. degree above a given totally ω-c.a. degree. Then we discuss extensions of this result.</p
© 2018 - IOS Press and the authors. All rights reserved. In 1971 B. Cooper proved that there exists ...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
© 2018, Pleiades Publishing, Ltd. Questions of definability of computably enumerable degrees in the ...
In [2], Downey and Greenberg use the ordinals below ε0 to bound the number of mind-changes of comput...
In [4], Downey and Greenberg define the notion of totally ⍺-c.a. for appropriately small ordinals ⍺,...
In this article, we investigate model-theoretic properties of various Turing degree structures in th...
Abstract. We investigate the connections between the complexity of a c.e. set, as calibrated by its ...
We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turi...
In the paper we present a survey on n-c.e. Turing and e-degrees. Also we discuss some open problems ...
In this paper we investigate questions about the definability of classes of n-computably enumerable ...
© 2016, Association for Symbolic Logic.We study Turing degrees a for which there is a countable stru...
Our objects of study are infinite sequences and how they can be transformed into each other. As tran...
© 2019 Elsevier B.V. In the late 1980s, Selivanov used typed Boolean combinations of arithmetical se...
Abstract. We prove that the degree structures of the d.c.e. and the 3-c.e. Turing degrees are not el...
This thesis is concerned with three special properties of Turing degree structure and the Ershov hie...
© 2018 - IOS Press and the authors. All rights reserved. In 1971 B. Cooper proved that there exists ...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
© 2018, Pleiades Publishing, Ltd. Questions of definability of computably enumerable degrees in the ...
In [2], Downey and Greenberg use the ordinals below ε0 to bound the number of mind-changes of comput...
In [4], Downey and Greenberg define the notion of totally ⍺-c.a. for appropriately small ordinals ⍺,...
In this article, we investigate model-theoretic properties of various Turing degree structures in th...
Abstract. We investigate the connections between the complexity of a c.e. set, as calibrated by its ...
We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turi...
In the paper we present a survey on n-c.e. Turing and e-degrees. Also we discuss some open problems ...
In this paper we investigate questions about the definability of classes of n-computably enumerable ...
© 2016, Association for Symbolic Logic.We study Turing degrees a for which there is a countable stru...
Our objects of study are infinite sequences and how they can be transformed into each other. As tran...
© 2019 Elsevier B.V. In the late 1980s, Selivanov used typed Boolean combinations of arithmetical se...
Abstract. We prove that the degree structures of the d.c.e. and the 3-c.e. Turing degrees are not el...
This thesis is concerned with three special properties of Turing degree structure and the Ershov hie...
© 2018 - IOS Press and the authors. All rights reserved. In 1971 B. Cooper proved that there exists ...
This thesis is concerned with various degree structures below 0', varying from Turing degrees to tr...
© 2018, Pleiades Publishing, Ltd. Questions of definability of computably enumerable degrees in the ...