Aspects of Incompleteness

Explore the intriguing world of metamathematics with Aspects of Incompleteness by Per Lindström, published by Cambridge University Press in 2017. This insightful hardback edition spans 142 pages and delves into key areas and results of general metamathematics.

In this volume, readers will encounter foundational concepts such as Gödel's results on incompleteness, (non-)finite axiomatizability, and interpretability. Additionally, the book provides an in-depth exploration of partial conservativity and degrees of interpretability, making it essential for anyone interested in advanced mathematical theories.

The method of arithmetization is also prominently featured, highlighting its significance in the field. Perfect for scholars and enthusiasts alike, Aspects of Incompleteness is a must-have for your collection, offering a comprehensive look at the complexities of mathematical logic.