A field K in a ring language. We extend a construction of Ziegler and (among other results)
use a first-order classification of Anscombe and Jahnke to prove every NIP henselian …

Although the study of the definability of henselian valuations has a long history starting with
J. Robinson, most of the results in this area were proven during the last few years. We …

We study the relation between two important classes of valued fields: tame fields and
defectless fields. We show that in the case of valued fields of equal characteristic or rank one …

A field $ K $ in a ring language $\mathcal {L} $ is finitely undecidable if $\mbox
{Cons}(\Sigma) $ is undecidable for every nonempty finite $\Sigma\subseteq\mbox …

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 …

We study the question of $\mathcal {L} _ {\mathrm {ring}} $-definability of non-trivial
henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we …