114
Voted
JSYML
2006
15 years 2 months ago
2006
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic (Fund. Math. 171 (2002)), we show that there exists a number n such that m Sm (the u...
82
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
G