Publisher： Cambridge University Press
E-ISSN： 1943-5886|58|2|424-434
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.58, Iss.2, 1993-06, pp. : 424-434
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
EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
The Journal of Symbolic Logic, Vol. 80, Iss. 1, 2015-03 ,pp. :
Access to resources
Recommend
Existential definability with bounds on archimedean valuations
The Journal of Symbolic Logic, Vol. 68, Iss. 3, 2003-09 ,pp. :
Arithmetic definability by formulas with two quantifiers
The Journal of Symbolic Logic, Vol. 57, Iss. 1, 1992-03 ,pp. :
Definability in models of set theory
The Journal of Symbolic Logic, Vol. 45, Iss. 1, 1980-03 ,pp. :
The model-theoretic significance of complemented existential formulas
The Journal of Symbolic Logic, Vol. 46, Iss. 4, 1981-12 ,pp. :