In this paper, we study the cupping property in the d.r.e. degrees, and prove the existence of a d.r.e. degrees d with almost universal cupping property and nonzero r.e. degrees b<d and a such that b isolates d in the d.r.e. degrees, and b and a form a minimal pair. As a corollary, we have that for any nonzero r.e. degree c≤a and incomplete d.r.e. degree e≥d, 0,c,e and 0′ form a diamond embedding in the d.r.e. degrees
We answer a question of Jockusch by showing that the measure of the Turing degrees that satisfy the ...
AbstractWe show that the top of any diamond with bottom 0 in the r.e. degrees is also the top of a s...
A Turing degree a satisfies the join property if, for every non-zero bb, there exists c<a with b V c...
This thesis is mainly concerned with the cupping property in the computably enumerable (c.e.) degree...
We show that there is a cuppable c.e. degree, all of whose cupping partners are high. In particular,...
The investigation of computably enumerable degrees has led to the deep understanding of degree struc...
This paper continues the project, initiated in [ACK], of describing general conditions under which r...
Abstract. In this paper we prove that every nonzero ∆02 e-degree is cuppable to 0′e by a 1-generic ∆...
We show there is a non-recursive r.e. set A such that if W is any low r.e. set, then the join W # ...
AbstractWe prove the following three theorems on the enumeration degrees of ∑20 sets. Theorem A: The...
We prove the following three theorems on the enumeration degrees of # 0 2 sets. Theorem A: There exi...
This paper continues the project, initiated in [ACK], of describing general conditions under which r...
In this paper we study structural properties of n-c. e. Q-degrees. Two theorems contain results on t...
An element a of a lattice cups to an element b>ab>a if there is a c<bc<b such that a∪c=ba∪c=b. An el...
© 2015, Pleiades Publishing, Ltd. In this paper we study exact d.c.e. degrees, the class of d.c.e. d...
We answer a question of Jockusch by showing that the measure of the Turing degrees that satisfy the ...
AbstractWe show that the top of any diamond with bottom 0 in the r.e. degrees is also the top of a s...
A Turing degree a satisfies the join property if, for every non-zero bb, there exists c<a with b V c...
This thesis is mainly concerned with the cupping property in the computably enumerable (c.e.) degree...
We show that there is a cuppable c.e. degree, all of whose cupping partners are high. In particular,...
The investigation of computably enumerable degrees has led to the deep understanding of degree struc...
This paper continues the project, initiated in [ACK], of describing general conditions under which r...
Abstract. In this paper we prove that every nonzero ∆02 e-degree is cuppable to 0′e by a 1-generic ∆...
We show there is a non-recursive r.e. set A such that if W is any low r.e. set, then the join W # ...
AbstractWe prove the following three theorems on the enumeration degrees of ∑20 sets. Theorem A: The...
We prove the following three theorems on the enumeration degrees of # 0 2 sets. Theorem A: There exi...
This paper continues the project, initiated in [ACK], of describing general conditions under which r...
In this paper we study structural properties of n-c. e. Q-degrees. Two theorems contain results on t...
An element a of a lattice cups to an element b>ab>a if there is a c<bc<b such that a∪c=ba∪c=b. An el...
© 2015, Pleiades Publishing, Ltd. In this paper we study exact d.c.e. degrees, the class of d.c.e. d...
We answer a question of Jockusch by showing that the measure of the Turing degrees that satisfy the ...
AbstractWe show that the top of any diamond with bottom 0 in the r.e. degrees is also the top of a s...
A Turing degree a satisfies the join property if, for every non-zero bb, there exists c<a with b V c...
DOI
Add to ORKG