✦ LIBER ✦

Interpreting N in the computably enumerable weak truth table degrees

✍ Scribed by André Nies

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 129 KB
Volume: 107
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(00)00021-x

No coin nor oath required. For personal study only.

✦ Synopsis

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.