Books

> Lecture Notes in Logic
   Perspectives in Logic

   Other ASL Books

   Member Discounts

  


Available LNL volumes

 Ordering

 Editorial Policies

 Submission information

 Editorial Board

 

 

 

 

 

 

 

 

 

 

 

 

Lecture Notes in Logic, 10
Aspects of Incompleteness

Per Lindström

 

This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Gödel and others on incompleteness, (non) finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory.

Year: 2003
Price:$35.00
ISBN: 1-56881-173-X
176 pages. Paperback.

BUY NOW

Table of Contents

Chapter 0: Introduction
Chapter 1: Preliminaries
Chapter 2: Incompleteness
Chapter 3: Numerations of r.e. sets
Chapter 4: Axiomatizations
Chapter 5: Partial conservativity
Chapter 6: Interpretability
Chapter 7: Degrees of interpretability
Chapter 8: Generalizations


<Back to LNL titles listing




 

 


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]