The independence of Peano's fourth axiom from Martin-Löf's type theory without universes

Publisher： Cambridge University Press

E-ISSN： 1943-5886|53|3|840-845

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.53, Iss.3, 1988-09, pp. : 840-845

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

A construction of type: type in Martin-Löf's partial type theory with one universe

By  

The Journal of Symbolic Logic, Vol. 56, Iss. 3, 1991-09 ,pp. : 1012-1015

Cambridge University Press

Access to resources Recommend Favorite

A construction of non-well-founded sets within Martin-Löf's type theory

By  

The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. : 57-64

Cambridge University Press

Access to resources Recommend Favorite

MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS

By  

The Journal of Symbolic Logic, Vol. 80, Iss. 2, 2015-04 ,pp. : 359-383

Cambridge University Press

Access to resources Recommend Favorite

Martin's axiom in the model theory of LA

By  

The Journal of Symbolic Logic, Vol. 45, Iss. 1, 1980-03 ,pp. : 172-176

Cambridge University Press

Access to resources Recommend Favorite