arnold beckmann's pages

Separating fragments of bounded arithmetic

File: PDF-File

Author: Arnold Beckmann
Title: Separating fragments of bounded arithmetic
Year: 1996, University of Münster
Pages: viii + 142

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

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!