The computably enumerable degrees are locally non-cappable (Q1879005): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:00, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The computably enumerable degrees are locally non-cappable |
scientific article |
Statements
The computably enumerable degrees are locally non-cappable (English)
0 references
22 September 2004
0 references
The bulk of this paper is devoted to a proof that every non-computable incomplete computably enumerable degree is locally non-cappable. Seetapun proved this in his thesis, but the new proof given here is a priority argument patterned after \textit{R. Soare}'s link/list proof of the Lachlan non-bounding theorem [Recursively enumerable sets and degrees, Berlin: Springer-Verlag (1987; Zbl 0667.03030)]. An immediate corollary is that there is no maximal non-bounding computably enumerable degree.
0 references
computably enumerable degree
0 references
maximal
0 references
non-bounding
0 references
cappable
0 references
link/list
0 references