Aspects of incompleteness
Auteur :
Lindström, Per
Éditeur :
Cambridge University Press
ISBN :
9781107167926
Date de publication :
2 mars 2017
Dimensions :
23,5 x 15,6 x 1,5 cm
Poids :
300 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.