𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Strong noncuppability in low computably enumerable degrees

✍ Scribed by M. M. Yamaleev


Book ID
111503454
Publisher
Allerton Press, Inc.
Year
2010
Tongue
English
Weight
549 KB
Volume
54
Category
Article
ISSN
1066-369X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Interpreting N in the computably enumera
✍ AndrΓ© Nies πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 129 KB

We give a ΓΏrst-order coding without parameters of a copy of (N; +; Γ—) in the computably enumerable weak truth table degrees. As a tool, we develop a theory of parameter deΓΏnable subsets.