In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
Let K be a finite field and K(x) be the quotient field of the ring of polynomials in x with coeffici...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
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 give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to de...
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which...
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 investigate definability in henselian fields. Specifically, we are interested in those sets and s...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
Given a henselian valuation, we study its definability (with and without parameters) by examining co...
AbstractEvery Henselian field of residue characteristic 0 admits a truncation-closed embedding in a ...
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
Let K be a finite field and K(x) be the quotient field of the ring of polynomials in x with coeffici...
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series...
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 give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to de...
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which...
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 investigate definability in henselian fields. Specifically, we are interested in those sets and s...
In this note we investigate the question whether a henselian valued field carries a non-trivial 0-de...
Given a henselian valuation, we study its definability (with and without parameters) by examining co...
AbstractEvery Henselian field of residue characteristic 0 admits a truncation-closed embedding in a ...
This thesis investigates the connections between henselian valuations and absolute Galois groups. Th...
We consider four properties of a field K related to the existence of (de-finable) henselian valuatio...
Let K be a finite field and K(x) be the quotient field of the ring of polynomials in x with coeffici...
DOI
Add to ORKG