Recursion Theory for Metamathematics

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

ISBN: 9780195082326 | 019508232X
Cover: Hardcover
Copyright: 1/28/1993

Rent

(Recommended)

$175.34

Term

Due

Price

Semester

Dec 13

$184.57

Quarter

Aug 16

$175.34

Short Term

Jul 3

$166.11

*This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.
Buy New

Usually Ships in 3-5 Business Days

$252.16
eBook

Available Instantly

Online: 180 Days

Downloadable: 180 Days

$175.50

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 ofincompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Please wait while the item is added to your bag...

Recursive Enumerability and Recursivity
Undecidability and Recursive Inseparability
Indexing
Generative Sets and Creative Systems
Double Generativity and Complete Effective Inseparability
Universal and Doubly Universal Systems
Shepherdson Revisited
Recursion Theorems
Symmetric and Double Recursion Theorems
Productivity and Double Productivity
Three Special Topics
Uniform Godelization
Table of Contents provided by Publisher. All Rights Reserved.

FREE SHIPPING

Amazon no longer offers textbook rentals. We do!

Recursion Theory for Metamathematics

Summary

Table of Contents

Supplemental Materials