

Publisher: Cambridge University Press
E-ISSN: 1943-5886|80|4|1260-1267
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.80, Iss.4, 2015-12, pp. : 1260-1267
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to define uniformly the valuation rings
Related content


EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
The Journal of Symbolic Logic, Vol. 80, Iss. 1, 2015-03 ,pp. :


DEFINABLE HENSELIAN VALUATIONS
The Journal of Symbolic Logic, Vol. 80, Iss. 1, 2015-03 ,pp. :


By Kabbour Mohammed Mahdou Najib
Communications in Algebra, Vol. 39, Iss. 1, 2011-01 ,pp. :


A note on valuation definable expansions of fields
The Journal of Symbolic Logic, Vol. 63, Iss. 2, 1998-06 ,pp. :


Communications in Algebra, Vol. 37, Iss. 11, 2009-11 ,pp. :