Aspects of Incompleteness

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