✦ LIBER ✦

Interpreting true arithmetic in the local structure of the enumeration degrees

✍ Scribed by Ganchev, Hristo; Soskova, Mariya

Book ID: 124069207
Publisher: Association for Symbolic Logic
Year: 2012
Tongue: English
Weight: 144 KB
Volume: 77
Category: Article
ISSN: 0022-4812
DOI: 10.2178/jsl.7704070

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpreting true arithmetic in the -enu

Interpreting true arithmetic in the -enumeration degrees

✍ Kent, Thomas F. 📂 Article 📅 2010 🏛 Association for Symbolic Logic 🌐 English ⚖ 314 KB

The limitations of cupping in the local

The limitations of cupping in the local structure of the enumeration degrees

✍ Mariya I. Soskova 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 306 KB

The high/low hierarchy in the local stru

The high/low hierarchy in the local structure of the -enumeration degrees

✍ Hristo Ganchev; Mariya Soskova 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 331 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.