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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|72|3|767-791

ISSN： 0022-4812

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

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

Non-well-foundedness of well-orderable power sets

By  

The Journal of Symbolic Logic, Vol. 68, Iss. 3, 2003-09 ,pp. : 879-884

Cambridge University Press

Access to resources Recommend Favorite

Existentially closed models via constructible sets: There are 2 ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups

By  

The Journal of Symbolic Logic, Vol. 61, Iss. 1, 1996-03 ,pp. : 277-284

Cambridge University Press

Access to resources Recommend Favorite

A theorem on hyperhypersimple sets

By  

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

Cambridge University Press

Access to resources Recommend Favorite

A Basis Theorem for Perfect Sets

By  

Bulletin of Symbolic Logic, Vol. 4, Iss. 2, 1998-06 ,pp. : 204-209

Cambridge University Press

Access to resources Recommend Favorite