> Lecture Notes in Logic
   Perspectives in Logic

   Other ASL Books

   Member Discounts


Available LNL volumes


 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
ISBN: 1-56881-173-X
176 pages. Paperback.


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]