Publisher： Cambridge University Press
E-ISSN： 1943-5886|48|3|658-661
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.48, Iss.3, 1983-09, pp. : 658-661
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
Forcing in intuitionistic systems without power-set
The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. :
Access to resources
Recommend
The continuum hypothesis in intuitionism
The Journal of Symbolic Logic, Vol. 46, Iss. 1, 1981-03 ,pp. :
Eliminating the continuum hypothesis
The Journal of Symbolic Logic, Vol. 34, Iss. 2, 1969-07 ,pp. :
Cardinal invariants and the collapse of the continuum by Sacks forcing
The Journal of Symbolic Logic, Vol. 73, Iss. 2, 2008-06 ,pp. :