In this note we investigate the question whether a henselian valued field carries a non-trivial 0-definable henselian valuation (in the language of rings). It follows from the work of Prestel and Ziegler that there are henselian valued fields which do not admit a 0-definable non-trivial henselian valuation. We give conditions on the residue field which ensure the existence of a parameter-free definiton. In particular, we show that a henselian valued field admits a non-trivial 0-definable valuation when the residue field is separably closed or sufficiently non-henselian, or when the absolute Galois group of the (residue) field is non-universal
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definabl...
The thesis addresses certain problems in the model theory of henselian fields, with a special focus ...
We show that the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
In this note we investigate the question when a henselian valued field carries a nontrivial ∅-defin...
In this note we investigate the question when a henselian valued field carries a nontrivial ∅-defin...
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
We study the question of which Henselian fields admit definable Henselian valuations (with or withou...
We study the question of which Henselian fields admit definable Henselian valuations (with or withou...
Given a henselian valuation, we study its definability (with and without parameters) by examining co...
We investigate definability in henselian fields. Specifically, we are interested in those sets and s...
We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to de...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definabl...
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definabl...
The thesis addresses certain problems in the model theory of henselian fields, with a special focus ...
We show that the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
In this note we investigate the question when a henselian valued field carries a nontrivial ∅-defin...
In this note we investigate the question when a henselian valued field carries a nontrivial ∅-defin...
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
We study the question of which Henselian fields admit definable Henselian valuations (with or withou...
We study the question of which Henselian fields admit definable Henselian valuations (with or withou...
Given a henselian valuation, we study its definability (with and without parameters) by examining co...
We investigate definability in henselian fields. Specifically, we are interested in those sets and s...
We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to de...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definabl...
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definabl...
The thesis addresses certain problems in the model theory of henselian fields, with a special focus ...
We show that the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...