✦ LIBER ✦

Models for Recursion Theory

✍ Scribed by Johan Moldestad and Dag Normann

Book ID: 124972592
Publisher: Association for Symbolic Logic
Year: 1976
Tongue: English
Weight: 249 KB
Volume: 41
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272391

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursion Theory for Metamathematics

✍ Raymond M. Smullyan 📂 Library 📅 1993 🏛 Oxford University Press 🌐 English ⚖ 5 MB

This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incom

Theories with Recursive Models

✍ Manuel Lerman and James H. Schmerl 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 422 KB

Models of recursion

✍ Murnane, John 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 544 KB

Recursive models in percolation theory

✍ V. P. Bovin; V. V. Vas'kin; I. Ya. Shneiberg 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 492 KB

On recursion operators for elliptic mode

On recursion operators for elliptic models

✍ Demskoi, D K; Sokolov, V V 📂 Article 📅 2008 🏛 Institute of Physics 🌐 English ⚖ 166 KB

$\beta$-Recursion Theory

✍ Sy D. Friedman 📂 Article 📅 1979 🏛 American Mathematical Society 🌐 English ⚖ 597 KB