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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom