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 investigate definability in henselian fields. Specifically, we are interested in those sets and s...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
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 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 the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...
We show that the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...
We investigate definability in henselian fields. Specifically, we are interested in those sets and s...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
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 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 the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...
We show that the valuation ring Fq [[t]] in the local field Fq ((t)) is existentially definable in t...
We investigate definability in henselian fields. Specifically, we are interested in those sets and s...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...