Sciweavers

JSYML
2006

On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories

13 years 3 months ago
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
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 union of the bounded arithmetic theories Sm) does not prove the Herbrand consistency of the finitely axiomatizable theory Sn 3 . From the point of view of bounded arithmetic, the concept of consistency based on Herbrand's theorem has at least two interesting features. Firstly, it has a more combinatorial flavour than standard consistency notions, and thus lends itself more naturally to combinatorial interpretations (cf. [Pud]). Secondly, it seems reasonably weak. It is well-known that for stronger concepts of consistency, such as ordinary Hilbert- or Gentzen-style consistency (Cons), or even bounded consistency (consistency with respect to proofs containing only bounded formulae, BdCons), there is typically a very large gap between a given theory and the theories whose consistency it can prove. Wilkie and...
Leszek Aleksander Kolodziejczyk
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JSYML
Authors Leszek Aleksander Kolodziejczyk
Comments (0)