Extensional Gödel functional interpretation : a consistency proof of classical analysis
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in mathematics
306 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Extensional Gödel functional interpretation, a consistency proof of classical analysis, Horst Luckhardt,..., Berlin, Springer, 1973, 1 vol. (VI-161 p.), Lecture notes in mathematics, 3-540-06119-3 • Extensional Gödel Functional Interpretation, Texte imprimé, 9783662184240 |
Table des matières:
- and survey
- A formal system of classical analysis
- Elimination of extensionality
- Translation of classical into intuitionistic approximated theories
- Gödel's functional interpretation in the narrower sense
- The calculus T of the primitive recursive functionals
- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T
- The calculus T?BR of the bar recursive functionals
- Functional interpretation of classical (AC)o-, (?AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T?BR
- Further consequences from the functional interpretation of classical analysis
- Consistency proof by computation. Computation of T?BRo...o??
- Generalized inductive definitions
- Generalization of bar induction BID and the inductive generation processes to trees over species
- A model for T?BR
- On the bar recursive model of classical analysis and the general bar induction over species.