A type-free Gödel interpretation

Publisher： Cambridge University Press

E-ISSN： 1943-5886|43|2|213-227

ISSN： 0022-4812

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

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

An interpretation of Martin-Löf's type theory in a type-free theory of propositions

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. : 730-753

Cambridge University Press

Access to resources Recommend Favorite

Toward useful type-free theories. I

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 1, 1984-03 ,pp. : 75-111

Cambridge University Press

Access to resources Recommend Favorite

Extending Gödel's negative interpretation to ZF

By  

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

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

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