Abstract
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 Sm (the union of the bounded arithmetic theories Sm) does not prove the Herbrand consistency of the finitely axiomatizable theory Sⁿ₃.
Citation
Leszek Aleksander Kołodziejczyk. "On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories." J. Symbolic Logic 71 (2) 624 - 638, June 2006. https://doi.org/10.2178/jsl/1146620163
Information
