๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Hierarchy for the Plus Cupping Turing Degrees

โœ Scribed by Yong Wang and Angsheng Li


Book ID
124980262
Publisher
Association for Symbolic Logic
Year
2003
Tongue
English
Weight
430 KB
Volume
68
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A minimal pair joining to a plus cupping
โœ Dengfeng Li; Angsheng Li ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 195 KB

## Abstract A computably enumerable (c.e.) degree a is called nonbounding, if it bounds no minimal pair, and plus cupping, if every nonzero c.e. degree __x__ below __a__ is cuppable. Let **NB** and **PC** be the sets of all nonbounding and plus cupping c.e. degrees, respectively. Both **NB** and **

Maximal Chains in the Turing Degrees
โœ C. T. Chong and Liang Yu ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 752 KB