Publisher: Cambridge University Press
E-ISSN: 1943-5886|75|4|1441-1461
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.75, Iss.4, 2010-12, pp. : 1441-1461
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
Model completeness of o-minimal structures expanded by Dedekind cuts
The Journal of Symbolic Logic, Vol. 70, Iss. 1, 2005-03 ,pp. :
On the decidability of the real field with a generic power function
The Journal of Symbolic Logic, Vol. 76, Iss. 4, 2011-12 ,pp. :
The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. :