Please use this identifier to cite or link to this item:
Title: Bounding computably enumerable degrees in the Ershov hierarchy
Authors: Li, A.
Wu, G.
Yang, Y. 
Keywords: Computably enumerable degrees
Ershov hierarchy
Issue Date: Aug-2006
Citation: Li, A., Wu, G., Yang, Y. (2006-08). Bounding computably enumerable degrees in the Ershov hierarchy. Annals of Pure and Applied Logic 141 (1-2) : 79-88. ScholarBank@NUS Repository.
Abstract: Lachlan observed that any nonzero d.c.e. degree bounds a nonzero c.e. degree. In this paper, we study the c.e. predecessors of d.c.e. degrees, and prove that given a nonzero d.c.e. degree a, there is a c.e. degree b below a and a high d.c.e. degree d > b such that b bounds all the c.e. degrees below d. This result gives a unified approach to some seemingly unrelated results. In particular, it has the following two known theorems as corollaries: (1) there is a low c.e. degree isolating a high d.c.e. degree [S. Ishmukhametov, G. Wu, Isolation and the high/low hierarchy, Arch. Math. Logic 41 (2002) 259-266]; (2) there is a high d.c.e. degree bounding no minimal pairs [C.T. Chong, A. Li, Y. Yang, The existence of high nonbounding degrees in the difference hierarchy, Ann. Pure Appl. Logic 138 (2006) 31-51]. © 2005 Elsevier B.V. All rights reserved.
Source Title: Annals of Pure and Applied Logic
ISSN: 01680072
DOI: 10.1016/j.apal.2005.10.004
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Dec 1, 2021


checked on Nov 24, 2021

Page view(s)

checked on Dec 2, 2021

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.