90
Voted
JSYML
2006
15 years 12 days 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...
67
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
G