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

Kołodziejczyk, Leszek Aleksander

J. Symbolic Logic, Tome 71 (2006) no. 1, p. 624-638 / Harvested from Project Euclid

Résumé

Modifying the methods of Z. Adamowicz’s paper Herbrand consistency and bounded arithmetic [3] we show that there exists a number n such that ⋃_m S_m (the union of the bounded arithmetic theories S_m) does not prove the Herbrand consistency of the finitely axiomatizable theory Sⁿ₃.

Publié le : 2006-06-14
Classification:

@article{1146620163,
     author = {Ko\l odziejczyk, Leszek Aleksander},
     title = {On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 624-638},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1146620163}
}

Kołodziejczyk, Leszek Aleksander. On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  624-638. http://gdmltest.u-ga.fr/item/1146620163/