Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Adamowicz, Z.: Herbrand consistency and bounded arithmetic. Fundamenta Mathematicae 171(3), 279–292 (2002)
2. Adamowicz, Z., Zbierski, P.: On Herbrand consistency in weak theories. Archive for Mathematical Logic 40(6), 399–413 (2001)
3. Bezboruah, A., Shepherdson, J.C.: Gödel’s second incompleteness theorem for Q. Jour. Symb. Logic 41(2), 503–512 (1976)
4. Buss, S.R.: Bounded Arithmetic. Studies in Proof Theory, Lecture Notes 3. Published by Bibliopolis (1986) (Revised version of Ph. D. Thesis)
5. Buss, S.R., Ignjatovic, A.: Unprovability of consistency statements in fragments of bounded arithmetic. Annals Pure and Applied Logic 74(3), 221–244 (1995)