Sciweavers

2 search results - page 1 / 1
» The strength of sharply bounded induction requires MSP
Sort
View
72
Voted
APAL
2010
67views more  APAL 2010»
15 years 1 months ago
The strength of sharply bounded induction requires MSP
Sedki Boughattas, Leszek Aleksander Kolodziejczyk
90
Voted
MLQ
2006
92views more  MLQ 2006»
15 years 1 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