Sciweavers

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