๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

$\beta$-Recursion Theory

โœ Scribed by Sy D. Friedman

Book ID
124877539
Publisher
American Mathematical Society
Year
1979
Tongue
English
Weight
597 KB
Volume
255
Category
Article
ISSN
0002-9947

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Models for Recursion Theory
Models for Recursion Theory
โœ Johan Moldestad and Dag Normann ๐Ÿ“‚ Article ๐Ÿ“… 1976 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 249 KB
Recursion Theory for Metamathematics
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

Difference Sets and Recursion Theory
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.