3 search results - page 1 / 1 » Separating Bounded Arithmetics by Herbrand Consistency |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
JSYML
2006
13 years 5 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...
CSL
2007
Springer
13 years 11 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...