On the quantifier complexity of definable canonical Henselian valuations |
| |
Authors: | Franziska Jahnke |
| |
Institution: | Institut für Mathematische Logik und Grundlagenforschung, Westf?lische Wilhelms‐Universit?t Münster, Münster, Germany |
| |
Abstract: | 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. |
| |
Keywords: | |
|
|