𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

✍ Scribed by Liang Yu; De Cheng Ding


Publisher
Institute of Mathematics, Chinese Academy of Sciences and Chinese Mathematical Society
Year
2004
Tongue
English
Weight
131 KB
Volume
20
Category
Article
ISSN
1439-7617

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.