Related papers: AKE principles for deeply ramified fields

We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a $Z$-group, is model-complete in the language of rings if the theory of its residue field is model-complete in…

We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory…

We extend the characterization of extremal valued fields given in \cite{[AKP]} to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that…

Let $K$ be a number field or a function field of characteristic 0. If $K$ is a number field, assume the $abc$-conjecture for $K$. We prove a variant of Zsigmondy's theorem for ramified primes in preimage fields of rational functions in…

Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate…

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th…

Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative…

We investigate the model completeness of the theory of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group…

We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of…

These are the notes of a course for the summer school Model Theory in Bilbao hosted by the Basque Center for Applied Mathematics (BCAM) and the Universidad del Pa\'is Vasco/Euskal Herriko Unibertsitatea in September 2023. The goal of this…

This thesis is a contribution to the model theory of valued fields. We study forking in valued fields and some of their reducts. We focus particularly on pseudo-local fields, the ultraproducts of residue characteristic zero of the p-adic…

We study the domination monoid in various classes of structures arising from the model theory of henselian valuations, including RV-expansions of henselian valued fields of residue characteristic 0 (and, more generally, of benign valued…

We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite ad\`eles over Q. We show that various…

We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the…

For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian extension if the upper ramification breaks are integers and…

For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th valued hyperfields of $K_1$ and $K_2$ are isomorphic over $p$ for each $n\ge1$, then $K_1$ and $K_2$…

We give a simple characterization of the totally wild ramified valuations in a Galois extension of fields of characteristic p. This criterion involves the valuations of Artin-Schreier cosets of the F_{p^r}^\times-translation of a single…

Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…

For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind…

Let K be a complete discretely valued field of mixed characteristic (0, p) with possibly imperfect residue field. We prove a Hasse-Arf theorem for the arithmetic ramification filtrations on G_K, except possibly in the absolutely unramified…