Premium
On the quantifier complexity of definable canonical Henselian valuations
Author(s) -
Fehm Arno,
Jahnke Franziska
Publication year - 2015
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201400108
Subject(s) - mathematics , valuation (finance) , quantifier (linguistics) , quantifier elimination , pure mathematics , existentialism , discrete mathematics , linguistics , law , philosophy , finance , political science , economics
We discuss definability in the language of rings without parameters of the unique canonical Henselian valuation of a field. We show that in most cases where the canonical Henselian valuation is definable, it is already definable by a universal‐existential or an existential‐universal formula.