Some properties of epistemic set theory with collection

Publisher： Cambridge University Press

E-ISSN： 1943-5886|51|3|748-754

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.51, Iss.3, 1986-09, pp. : 748-754

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

Epistemic set theory is a conservative extension of intuitionistic set theory

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 4, 1985-12 ,pp. : 895-902

Cambridge University Press

Access to resources Recommend Favorite

Replacement and collection in intuitionistic set theory

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 344-348

Cambridge University Press

Access to resources Recommend Favorite

Some proofs of independence in axiomatic set theory1

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,pp. : 291-303

Cambridge University Press

Access to resources Recommend Favorite

Some results about Borel sets in descriptive set theory of hyperfinite sets

By  

The Journal of Symbolic Logic, Vol. 55, Iss. 2, 1990-06 ,pp. : 604-614

Cambridge University Press

Access to resources Recommend Favorite

EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS

By  

Bulletin of Symbolic Logic, Vol. 20, Iss. 3, 2014-10 ,pp. : 275-292

Cambridge University Press

Access to resources Recommend Favorite