Proof Theory and Intuitionistic Systems

Bruno Scarpellini (Autor)

Buch | Softcover

VIII, 292 Seiten

1971 | 1971
Springer Berlin (Verlag)
978-3-540-05541-9 (ISBN)

Inhalt

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*.

Produkt-Details

• 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
• Themenwelt: 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