Publisher： Cambridge University Press
E-ISSN： 1943-5886|74|3|861-890
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.74, Iss.3, 2009-09, pp. : 861-890
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
Algebraic set theory and the effective topos
The Journal of Symbolic Logic, Vol. 70, Iss. 3, 2005-09 ,pp. :
Access to resources
Recommend
A Brief Introduction to Algebraic Set Theory
Bulletin of Symbolic Logic, Vol. 14, Iss. 3, 2008-09 ,pp. :
Lawvere's basic theory of the category of categories
The Journal of Symbolic Logic, Vol. 40, Iss. 1, 1975-03 ,pp. :
Some model theory of sheaves of modules
The Journal of Symbolic Logic, Vol. 69, Iss. 4, 2004-12 ,pp. :
Sheaves and Boolean valued model theory
The Journal of Symbolic Logic, Vol. 44, Iss. 2, 1979-06 ,pp. :