Publisher： Cambridge University Press
E-ISSN： 1943-5886|74|4|1429-1435
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.74, Iss.4, 2009-12, pp. : 1429-1435
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
Successor-invariant first-order logic on finite structures
The Journal of Symbolic Logic, Vol. 72, Iss. 2, 2007-06 ,pp. :
On first-order sentences without finite models
The Journal of Symbolic Logic, Vol. 69, Iss. 2, 2004-06 ,pp. :
CONSERVATIONS OF FIRST-ORDER REFLECTIONS
The Journal of Symbolic Logic, Vol. 79, Iss. 3, 2014-08 ,pp. :