𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hypersimplicity and semicomputability in the weak truth table degrees

✍ Scribed by George Barmpalias


Publisher
Springer
Year
2005
Tongue
English
Weight
236 KB
Volume
44
Category
Article
ISSN
0933-5846

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.