Abstract

The degrees of unsolvability have been extensively studied by Sacks in (4). This paper studies problems concerned with lower bounds of pairs of recursively enumerable (r.e.) degrees. It grew out of an unpublished paper written in June 1964 which presented a proof of the following conjecture of Sacks ((4) 170): there exist two r.e. degrees a, b whose greatest lower bound is 0. This result was first announced by Yates (6); the present author's proof is superficially at least quite different from that of Yates. The author is grateful to Yates for pointing out two errors in the original proof of Lemma 3, and for his careful reading of the whole of the earlier paper. The result already mentioned is Theorem 1 of this paper. As a by-product of the construction we can obtain a ' = b ' = 0'; Yates has made a similar observation regarding his construction. In Theorem 2 it is proved that there are r.e. degrees a, b whose greatest lower bound is 0 such that a, b are the degrees of maximal r.e. sets. Next, we show

Citations

58	Degrees of unsolvability - Sacks - 1963
16	A minimal pair of recursively enumerable degrees - Yates - 1966
1	TWO recursively enumerable sets of incomparable degrees of unsolvability - FBIEDBEKG - 1957