✦ 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
DOI: 10.2178/jsl/1268917493

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpreting true arithmetic in the loca

Interpreting true arithmetic in the local structure of the enumeration degrees

✍ Ganchev, Hristo; Soskova, Mariya 📂 Article 📅 2012 🏛 Association for Symbolic Logic 🌐 English ⚖ 144 KB

Coding true arithmetic in the Medvedev d

Coding true arithmetic in the Medvedev degrees of classes

✍ Paul Shafer 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 350 KB

Coding true arithmetic in the Medvedev a

Coding true arithmetic in the Medvedev and Muchnik degrees

✍ Shafer, Paul 📂 Article 📅 2011 🏛 Association for Symbolic Logic 🌐 English ⚖ 240 KB

Interpreting N in the computably enumera

Interpreting N in the computably enumerable weak truth table degrees

✍ 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.

Definability in the enumeration degrees

✍ Theodore A. Slaman; W. Hugh Woodin 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 166 KB

Empty intervals in the enumeration degre

Empty intervals in the enumeration degrees

✍ Thomas F. Kent; Andrew E.M. Lewis; Andrea Sorbi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 231 KB