Publisher: Cambridge University Press
E-ISSN: 1943-5886|1|2|45-57
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.1, Iss.2, 1936-06, pp. : 45-57
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
Axioms for the set-theoretic hierarchy
The Journal of Symbolic Logic, Vol. 51, Iss. 4, 1986-12 ,pp. :
Forcing indestructibility of set-theoretic axioms
The Journal of Symbolic Logic, Vol. 72, Iss. 1, 2007-03 ,pp. :
Constructive set theoretic models of typed combinatory logic
The Journal of Symbolic Logic, Vol. 58, Iss. 1, 1993-03 ,pp. :
Certain Minimal Varieties Are Set-Theoretic Complete Intersections
Communications in Algebra, Vol. 35, Iss. 7, 2007-07 ,pp. :
Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
Bulletin of Symbolic Logic, Vol. 9, Iss. 2, 2003-06 ,pp. :