Publisher: Cambridge University Press
E-ISSN: 1943-5886|78|2|345-368
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.78, Iss.2, 2013-06, pp. : 345-368
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Proper classes via the iterative conception of set
The Journal of Symbolic Logic, Vol. 52, Iss. 3, 1987-09 ,pp. :
Intuitionistic modal logic and set theory
The Journal of Symbolic Logic, Vol. 56, Iss. 2, 1991-06 ,pp. :
Second Order Logic or Set Theory?
Bulletin of Symbolic Logic, Vol. 18, Iss. 1, 2012-03 ,pp. :
The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. :
Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms
Bulletin of Symbolic Logic, Vol. 10, Iss. 2, 2004-06 ,pp. :