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

Benjamin Blankertz, Andreas Weiermann. A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems. Studia Logica, 62(3):399-427, 1999.

Abstract

Abstract is missing.