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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|54|1|57-64

ISSN： 0022-4812

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

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 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

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

Models of non-well-founded sets via an indexed final coalgebra theorem

By  

The Journal of Symbolic Logic, Vol. 72, Iss. 3, 2007-09 ,pp. : 767-791

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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite