✦ LIBER ✦

Recursion Theory and Dedekind Cuts

✍ Scribed by Robert I. Soare

Book ID: 125670125
Publisher: American Mathematical Society
Year: 1969
Tongue: English
Weight: 540 KB
Volume: 140
Category: Article
ISSN: 0002-9947
DOI: 10.2307/1995137

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistics Turing machines and recur

Probabilistics Turing machines and recursively enumerable Dedekind cuts

✍ M. Chrobak; B.S. Chlebus 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 406 KB

Recursion Theory and Dedekind Cutsby Rob

Recursion Theory and Dedekind Cutsby Robert I. Soare;Cohesive Sets and Recursively Enumerable Dedekind Cutsby Robert I. Soare

✍ Review by: Brian H. Mayoh 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 226 KB

Difference Sets and Recursion Theory

✍ James H. Schmerl 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 411 KB

recursively enumerable set but which is not the difference set of any recursive set.

Recursion Theory and Formal Deducibility

✍ E. M. Kleinberg 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 341 KB

Applications of cut-free infinitary deri

Applications of cut-free infinitary derivations to generalized recursion theory

✍ Arnold Beckmann; Wolfram Pohlers 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 712 KB

We prove that the boundedness theorem of generalized recursion theory can be derived from the w-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem.

Models for Recursion Theory

✍ Johan Moldestad and Dag Normann 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 249 KB