product iamge

Proof Theory and Intuitionistic Systems

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Bruno Scarpellini (auth.)
Series: Lecture Notes in Mathematics 212
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1971

Language: English
Pages: 292
City: Berlin, New York
Tags: Mathematics, general

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