Aspects of Incompleteness

Informationen zum Autor Per Lindström works in the Department of Philosophy at Göteborgs Universitet, Sweden. Klappentext This volume presents some of the main areas and results of general metamathematics, including the results of Gödel et al. on incompleteness. Zusammenfassung This volume 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, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role. Inhaltsverzeichnis Preface; Introduction; 1. Preliminaries; 2. Incompleteness; 3. Numerations of r.e. sets; 4. Axiomatizations; 5. Partial conservativity; 6. Interpretability; 7. Degrees of interpretabilty; 8. Generations; References; Index; Notation.

Product details

• Authors: Per Lindstrom, Per Lindström
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 02.03.2017
• EAN: 9781107167926
• ISBN: 978-1-107-16792-6
• No. of pages: 142
• Series: Lecture Notes in Logic
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles