𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpreting true arithmetic in the -enumeration degrees

✍ Scribed by Kent, Thomas F.


Book ID
124069233
Publisher
Association for Symbolic Logic
Year
2010
Tongue
English
Weight
314 KB
Volume
75
Category
Article
ISSN
0022-4812

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.

Empty intervals in the enumeration degre
✍ Thomas F. Kent; Andrew E.M. Lewis; Andrea Sorbi πŸ“‚ Article πŸ“… 2012 πŸ› Elsevier Science 🌐 English βš– 231 KB