Publication Types:

Separating fragments of bounded arithmetic

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

Beschränkte Arithmetik in scharf beschränkten Theorien zweiter Stufe

dissertations
Arnold Beckmann
Diplomarbeit / MSc thesis, University of Münster
Publication year: 1992

This master thesis gives a detailed workout of Takeuti’s article A Second Order Version of S^i_2 and U^1_2 including some improvements.