Nonbounding ๐-C.E. ๐-Degrees
Roland Sh. Omanadze ยท Georgian Mathematical Journal ยท 2009
Abstract We prove that for any noncomputable c.e. set ๐ด there is a non-computable c.e. set ๐ต โ ๐ด such that for every noncomputable c.e. set ๐ we have ๐ โฐโฅ ๐๐ด โ ๐ต < ๐๐ด. We show that if c.e. ๐-degrees ๐ and ๐ form a minimal pair in the c.e. ๐-degrees, then ๐ and ๐ form a minimal pair in the ๐-degrees.