A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems

Authors: Blankertz B.¹; Weiermann A.²

Source: Studia Logica, Volume 62, Number 3, May 1999 , pp. 399-427(29)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

Abstract:

In this article we show how to extract with the use of the Buchholz-Cichon-Weiermann approach to subrecursive hierarchies from Rathjen's 1991 ordinal analysis of KPM a characterization of the provably total number-theoretic functions of KPM and some of its (most prominent) subsystems in a uniform and direct way.

Keywords: provably total functions; subrecursive hierarchies; ordinal analysis; cut-elimination

Language: English

Document Type: Regular paper

Affiliations: 1: Institut für Mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms-Universität Münster Einsteinstraße 62 D-48149 Münster, Germany; {Benjamin.Blankertz}@math.uni-muenster.de 2: Institut für Mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms-Universität Münster Einsteinstraße 62 D-48149 Münster, Germany; {Andreas.Weiermann}@math.uni-muenster.de

Publication date: 1999-05-01