𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Limit lemmas and jump inversion in the enumeration degrees

✍ Scribed by Evan J. Griffiths


Publisher
Springer
Year
2003
Tongue
English
Weight
155 KB
Volume
42
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Undecidability and 1-types in intervals
✍ 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.