Proof theory : the first step into impredicativity
This book verifies with compelling evidence the author s intent to "write a book on proof theory that needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof theory as far as possible, the book starts at an elementary level and displays the connections betwe...
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| 版: | 1st ed. 2009. |
| 叢編: | Universitext
|
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Description d'après consultation du 26 mars 2012 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Proof theory, the first step into impredicativity, Wolfram Pohlers, Berlin, Springer, 2009, 1 vol. (xiii-370 p.), Universitext, 978-3-540-69318-5 • Proof Theory, Texte imprimé, 9783540865322 • Proof theory, the first step into impredicativity, Wolfram Pohlers, Berlin, Springer, 2009, 1 vol. (xiii-370 p.), Universitext, 978-3-540-69318-5 |
書本目錄:
- Historical Background Primitive Recursive Functions and Relations Ordinals Pure Logic Truth Complexity for ?11-Sentences Inductive Definitions The Ordinal Analysis for PA Autonomous Ordinals and the Limits of Predicativity Ordinal Analysis of the Theory for Inductive Definitions Provably Recursive Functions of NT Ordinal Analysis for Kripke Platek Set Theory with Infinity Predicativity Revisited Nonmonotone Inductive Definitions Epilogue