arnold beckmann's pages
Separating fragments of bounded arithmetic
Author: Arnold Beckmann
Title: Separating fragments of bounded arithmetic
Year: 1996, University of Münster
Pages: viii + 142
The aim of this work is to investigate
proof-theoretically formal theories of bounded arithmetic.
For this purpose the subsystems
of first order arithmetic and subsystems of bounded
predicative arithmetic will be investigated, too.