Proof Theory and Intuitionistic Systems
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in mathematics
212 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
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 and intuitionistic systems, Bruno Scarpellini,..., Berlin, Springer, 1971, 1 vol. (VII-290 p.), Lecture notes in mathematics, 3-540-05541-X • Proof Theory and Intuitionistic Systems, Texte imprimé, 9783662184462 |
Mục lục:
- and preliminaries
- A review of Gentzen's second consistency proof
- The intuitionistic system of number theory
- A formally intuitionistic system as strong as classical analysis
- Transfinite induction with respect to recursive wellorderings without function parameters
- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters
- A system containing barinduction with respect to decidable predicates
- Harrop formulas
- The Markov principle
- Relative consistency proof of ZTN with respect to ZTi/IN*.