The strength of sharply bounded induction
Emil Jeřábek · Mathematical logic quarterly · 2006
Abstract We prove that the sharply bounded arithmetic T02in a language containing the function symbol ⌊x/2y⌋ (often denoted by MSP) is equivalent to PV1. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)