The strength of sharply bounded inductio
✍
Emil Jeřábek
📂
Article
📅
2006
🏛
John Wiley and Sons
🌐
English
⚖ 186 KB
## Abstract We prove that the sharply bounded arithmetic T^0^~2~ in a language containing the function symbol ⌊__x__ /2^__y__^ ⌋ (often denoted by MSP) is equivalent to PV~1~. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)