Publisher: Cambridge University Press
E-ISSN: 1943-5886|77|3|807-827
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.77, Iss.3, 2012-09, pp. : 807-827
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Gödel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [
Related content
The
The Journal of Symbolic Logic, Vol. 39, Iss. 4, 1974-12 ,pp. :
The consistency of number theory via Herbrand's theorem
The Journal of Symbolic Logic, Vol. 38, Iss. 1, 1973-03 ,pp. :
Predicate Logics of Constructive Arithmetical Theories
The Journal of Symbolic Logic, Vol. 71, Iss. 4, 2006-12 ,pp. :