Bruno Scarpellini

Proof Theory and Intuitionistic Systems

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Lecture Notes in Mathematics 212
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-05541-9
• 1971.
• Seitenzahl: 300
• Erscheinungstermin: 1. Januar 1971
• Englisch
• Abmessung: 235mm x 155mm x 17mm
• Gewicht: 484g
• ISBN-13: 9783540055419
• ISBN-10: 354005541X
• Artikelnr.: 23380189

Inhaltsangabe

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