A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems

DOI10.1023/A:1005152527817zbMath0957.03054OpenAlexW1480332050MaRDI QIDQ1300010

Andreas Weiermann, Benjamin Blankertz

Publication date: 22 November 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005152527817

zbMATH Keywords

cut elimination ordinal notations Hardy function provably total functions ramified set theory \(\omega\)-boundedness collapsing relations Kripke-Platek-Mahlo

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems