Arnold Beckmann
PhD thesis, University of Münster
Publication year: 1997

The aim of this work is to investigate proof-theoretically formal theories of bounded arithmetic. For this purpose the subsystems IΣ_n of first order arithmetic and subsystems of bounded predicative arithmetic will be investigated, too.

Leave a Reply

Your email address will not be published. Required fields are marked *