Proof Theory and Intuitionistic Systems

von Bruno Scarpellini

300 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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

• Reihe: Lecture Notes in Mathematics
• Themen: Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik
• ISBN: 9783540055419
• Sprache: Englisch
• Erscheinungsdatum: 01.01.1971
• Größe: 235 x 155 mm
• Verlag: Springer