Sciweavers

2 search results - page 1 / 1
» The strength of sharply bounded induction requires MSP
Sort
View
APAL
2010
67views more  APAL 2010»
14 years 11 months ago
The strength of sharply bounded induction requires MSP
Sedki Boughattas, Leszek Aleksander Kolodziejczyk
MLQ
2006
92views more  MLQ 2006»
14 years 11 months ago
The strength of sharply bounded induction
We prove that the sharply bounded arithmetic T0 2 in a language containing the function symbol x
Emil Jerábek