Extending Gödel's negative interpretation to ZF

Publisher： Cambridge University Press

E-ISSN： 1943-5886|40|2|221-229

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.40, Iss.2, 1975-06, pp. : 221-229

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

A type-free Gödel interpretation

By  

The Journal of Symbolic Logic, Vol. 43, Iss. 2, 1978-06 ,pp. : 213-227

Cambridge University Press

Access to resources Recommend Favorite

Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation

By  

Bulletin of Symbolic Logic, Vol. 11, Iss. 2, 2005-06 ,pp. : 225-238

Cambridge University Press

Access to resources Recommend Favorite

Extending the Curry-Howard interpretation to linear, relevant and other resource logics1

By  

The Journal of Symbolic Logic, Vol. 57, Iss. 4, 1992-12 ,pp. : 1319-1365

Cambridge University Press

Access to resources Recommend Favorite

RUSSELL AND GÖDEL

By  

Bulletin of Symbolic Logic, Vol. 22, Iss. 4, 2016-12 ,pp. : 504-520

Cambridge University Press

Access to resources Recommend Favorite

Constructible models of subsystems of ZF

By  

The Journal of Symbolic Logic, Vol. 45, Iss. 2, 1980-06 ,pp. : 237-250

Cambridge University Press

Access to resources Recommend Favorite