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

Empty intervals in the enumeration degrees

โœ Scribed by Thomas F. Kent; Andrew E.M. Lewis; Andrea Sorbi

Book ID
113459212
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
231 KB
Volume
163
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An Interval of Computably Enumerable Iso
An Interval of Computably Enumerable Isolating Degrees
โœ Matthew C. Salts ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 850 KB

## Abstract We construct computably enumerable degrees __a < b__ such that all computably enumerable degrees c with __a < c < b__ isolate some d. c. e. degree __d.__

Definability in the enumeration degrees
Definability in the enumeration degrees
โœ Theodore A. Slaman; W. Hugh Woodin ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Springer ๐ŸŒ English โš– 166 KB
Undecidability and 1-types in intervals
Undecidability and 1-types in intervals of the computably enumerable degrees
โœ Klaus Ambos-Spies; Denis R. Hirschfeldt; Richard A. Shore ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 338 KB

We show that the theory of the partial ordering of the computably enumerable degrees in any given nontrivial interval is undecidable and has uncountably many 1-types.