| Titre : |
ASPECTS OF INCOMPLETENESS |
| Type de document : |
texte imprimé |
| Auteurs : |
Per Lindstrom |
| Editeur : |
Allemagne : Springer |
| Année de publication : |
1997 |
| Collection : |
Lecture Notes in Logic num. 10 |
| Importance : |
132 p. |
| Format : |
23.5 cm. |
| ISBN/ISSN/EAN : |
978-3-540-63213-9 |
| Note générale : |
index: |
| Langues : |
Anglais (eng) Langues originales : Anglais (eng) |
| Résumé : |
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. |
ASPECTS OF INCOMPLETENESS [texte imprimé] / Per Lindstrom . - Allemagne : Springer, 1997 . - 132 p. ; 23.5 cm.. - ( Lecture Notes in Logic; 10) . ISBN : 978-3-540-63213-9 index: Langues : Anglais ( eng) Langues originales : Anglais ( eng)
| Résumé : |
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. |
|  |
Affiner la recherche Interroger des sources externes
