The computably enumerable degrees are locally non-cappable

Author: Giorgi Matthew B.  

Publisher: Springer Publishing Company

ISSN: 0933-5846

Source: Archive for Mathematical Logic, Vol.43, Iss.1, 2004-01, pp. : 121-139

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

We prove that every non-computable incomplete computably enumerable degree is locally non-cappable, and use this result to show that there is no maximal non-bounding computably enumerable degree.