Herbrand consistency of some arithmetical theories

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.

Previous Menu Next

Abstract

Related content

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

By  

The Journal of Symbolic Logic, Vol. 71, Iss. 2, 2006-06 ,pp. : 624-638

Cambridge University Press

Access to resources Recommend Favorite

Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories

By  

The Journal of Symbolic Logic, Vol. 68, Iss. 1, 2003-03 ,pp. : 262-266

Cambridge University Press

Access to resources Recommend Favorite

The ω-consistency of number theory via Herbrand's theorem

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 4, 1974-12 ,pp. : 678-692

Cambridge University Press

Access to resources Recommend Favorite

The consistency of number theory via Herbrand's theorem 1

By  

The Journal of Symbolic Logic, Vol. 38, Iss. 1, 1973-03 ,pp. : 29-58

Cambridge University Press

Access to resources Recommend Favorite

Predicate Logics of Constructive Arithmetical Theories

By  

The Journal of Symbolic Logic, Vol. 71, Iss. 4, 2006-12 ,pp. : 1311-1326

Cambridge University Press

Access to resources Recommend Favorite