Aspects of Incompleteness: Vol 10 (Lecture Notes in Logic) - Softcover

Lindstrom, P.

Softcover

ISBN 10: 3540632131 ISBN 13: 9783540632139

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997

Inhaltsangabe

This volume constitutes an examination of aspects of incompleteness. There are discussions of axiomatizations, partial conservativity, interpretability, and degrees of interpretability.

Über diesen Titel

Reseña del editor

This book presents some of the main areas and results of general metamathematics. In addition to standard results of GAdel 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.

Details zur Ausgabe

• Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Erscheinungsdatum: 1997
• Sprache: Englisch
• ISBN 10: 3540632131
• ISBN 13: 9783540632139
• Einband: Tapa blanda
• Anzahl der Seiten: 133
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland