✦ LIBER ✦

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

✍ Scribed by Hristo Ganchev; Mariya Soskova

Book ID: 113459200
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 331 KB
Volume: 163
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.10.004

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

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

Bounding computably enumerable degrees i

Bounding computably enumerable degrees in the Ershov hierarchy

✍ Angsheng Li; Guohua Wu; Yue Yang 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 219 KB

Decomposability of low 2-computably enum

Decomposability of low 2-computably enumerable degrees and turing jumps in the Ershov hierarchy

✍ M. Kh. Faizrakhmanov 📂 Article 📅 2010 🏛 Allerton Press, Inc. 🌐 English ⚖ 538 KB

The existence of high nonbounding degree

The existence of high nonbounding degrees in the difference hierarchy

✍ C.T. Chong; A. Li; Y. Yang 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 277 KB

Degrees of parallelism in the continuous

Degrees of parallelism in the continuous type hierarchy

✍ Antonio Bucciarelli 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 713 KB

A degree of parallelism is an equivalence class of Scott-continuous functions which are relatively definable by each other with respect to the language PCF (a paradigmatic sequential language). We introduce an infinite ("bi-dimensional") hierarchy of degrees. This hierarchy is inspired by representi