Proof Theory and Intuitionistic Systems

Bruno Scarpellini (auth.)354005541X, 9783540055419

Table of contents :
Introduction and preliminaries….Pages 1-33
A review of Gentzen’s second consistency proof….Pages 34-69
The intuitionistic system of number theory….Pages 70-78
A formally intuitionistic system as strong as classical analysis….Pages 79-140
Transfinite induction with respect to recursive wellorderings without function parameters….Pages 141-160
A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters….Pages 161-192
A system containing barinduction with respect to decidable predicates….Pages 193-216
Harrop formulas….Pages 217-247
The Markov principle….Pages 248-255
Relative consistency proof of ZTN with respect to ZTi/I N *….Pages 256-290