The consistency of number theory via Herbrand's theorem 1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|38|1|29-58

ISSN： 0022-4812

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

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

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

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

By  

The Journal of Symbolic Logic, Vol. 22, Iss. 3, 1957-09 ,pp. : 269-285

Cambridge University Press

Access to resources Recommend Favorite

Herbrand consistency of some arithmetical theories

By  

The Journal of Symbolic Logic, Vol. 77, Iss. 3, 2012-09 ,pp. : 807-827

Cambridge University Press

Access to resources Recommend Favorite

On the relative consistency of set theory 1

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,pp. : 280-290

Cambridge University Press

Access to resources Recommend Favorite

Persistence and Herbrand expansions 1

By  

The Journal of Symbolic Logic, Vol. 28, Iss. 4, 1963-12 ,pp. : 280-282

Cambridge University Press

Access to resources Recommend Favorite