26 search results - page 6 / 6 » jsyml 2002 |
121
Voted
JSYML
2006
15 years 3 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...