Aspects of Incompleteness

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book presents some of the main areas and results of general metamathematics. In addition to standard results of G?del et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers.

Author(s): Per Lindström
Series: Lecture Notes in Logic 10
Publisher: Springer
Year: 1997

Language: German
Pages: 143


Content:
Front Matter....Pages i-x
Introduction....Pages 1-4
Preliminaries....Pages 5-22
Incompleteness....Pages 23-41
Numerations of R.E. Sets....Pages 42-51
Axiomatizations....Pages 52-61
Partial Conservativity....Pages 62-74
Interpretability....Pages 75-93
Degrees of Interpretability....Pages 94-118
Generalizations....Pages 119-124
Back Matter....Pages 125-135