Aspects of Incompleteness (Lecture Notes in Logic)

Lindstroem, Per

ISBN 10: 3540632131 / ISBN 13: 9783540632139

Published by Springer, 1997

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.3540632131.G

Bibliographic Details

• Title: Aspects of Incompleteness (Lecture Notes in Logic)
• Publisher: Springer
• Publication Date: 1997
• Language: English
• ISBN 10: 3540632131
• ISBN 13: 9783540632139
• Binding: Soft cover
• Condition: good

About this title

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.