Aspects of Incompleteness (Lecture Notes in Logic) - Softcover

Book 13 of 39: Lecture Notes in Logic

Lindstroem, Per

 
9783540632139: Aspects of Incompleteness (Lecture Notes in Logic)
Softcover
ISBN 10: 3540632131 ISBN 13: 9783540632139
Publisher: Springer, 1997

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
1997
Language
English
ISBN 10 
3540632131
ISBN 13 
9783540632139
Binding
Paperback
Edition number
1
Number of pages
133

Other Popular Editions of the Same Title

9781107167926: Aspects of Incompleteness (Lecture Notes in Logic, Series Number 10)

Featured Edition

ISBN 10:  1107167922 ISBN 13:  9781107167926
Publisher: Cambridge University Press, 2017
Hardcover