Publisher: Cambridge University Press
E-ISSN: 1475-3030|11|4|825-834
ISSN: 1474-7480
Source: Journal of the Institute of Mathematics of Jussieu, Vol.11, Iss.4, 2012-04, pp. : 825-834
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
Decidable regularly closed fields of algebraic numbers
The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. :
Algebraic theories with definable Skolem functions
The Journal of Symbolic Logic, Vol. 49, Iss. 2, 1984-06 ,pp. :
On definable subsets of
The Journal of Symbolic Logic, Vol. 41, Iss. 3, 1976-09 ,pp. :
A note on valuation definable expansions of fields
The Journal of Symbolic Logic, Vol. 63, Iss. 2, 1998-06 ,pp. :