Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a $t$-henselian non-henselian ordered field elementarily equivalent to a henselian field with a specified value group
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 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...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
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...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
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 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...
Let v0 be a valuation of a field K0 with value group G0. Let K be a function field of a conic over K...
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 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...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
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...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
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 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...
Let v0 be a valuation of a field K0 with value group G0. Let K be a function field of a conic over K...
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...