Publisher： Cambridge University Press
E-ISSN： 1943-5886|65|3|1183-1192
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.65, Iss.3, 2000-09, pp. : 1183-1192
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
The first-order structure of weakly Dedekind-finite set
The Journal of Symbolic Logic, Vol. 70, Iss. 4, 2005-12 ,pp. :
Access to resources
Recommend
Relating First-Order Set Theories and Elementary Toposes
Bulletin of Symbolic Logic, Vol. 13, Iss. 3, 2007-09 ,pp. :
CONSERVATIONS OF FIRST-ORDER REFLECTIONS
The Journal of Symbolic Logic, Vol. 79, Iss. 3, 2014-08 ,pp. :
First-order topological axioms
The Journal of Symbolic Logic, Vol. 46, Iss. 3, 1981-09 ,pp. :
On the first-order logic of terms
The Journal of Symbolic Logic, Vol. 38, Iss. 2, 1973-06 ,pp. :