Proof Theory and Intuitionistic Systems
Seiten
1971
Springer Berlin (Verlag)
978-3-540-05541-9 (ISBN)
Springer Berlin (Verlag)
978-3-540-05541-9 (ISBN)
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*.
| Erscheint lt. Verlag | 1.1.1971 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | VIII, 292 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 426 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Beweistheorie • Calculus • Finite • Function • Intuitionistische Mathematik • Proof • Proof theory • Transfinite induction • well-ordering principle |
| ISBN-10 | 3-540-05541-X / 354005541X |
| ISBN-13 | 978-3-540-05541-9 / 9783540055419 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 23,75
