# Franz-Viktor Kuhlmann (University of Szczecin)

- Date
- Wednesday 26 October 2022, 4:00 PM
- Location
- MALL
- Category
- Logic Seminar

## Tame fields and beyond

I will introduce the notion of "tame field" and sketch what is known and is not known about the model theory of tame fields. Further, I will introduce the notion of "defect" of finite extensions of valued fields and indicate why it is important for the model theory of valued fields with residue fields of positive characteristic. Tame fields are defectless fields, i.e., all of their finite extensions have only trivial defect.

Tame fields are the closest we have come to the open problem of the decidability of formal Laurent series fields over finite fields, such as $\mathbb{F}_p((t))$, where $\mathbb{F}_p$ is the field with $p$ elements; yet tame fields are perfect, while $\mathbb{F}_p((t))$ is not. We are still lacking a complete recursive axiomatization for $\mathbb{F}_p((t))$ with the $t$-adic valuation. It is known that a simple adaptation of the axiom system that works for $p$-adically closed fields is not complete.

In the year 2003 Yuri Ershov introduced the notion of "extremal valued field" and proved that $\mathbb{F}_p((t))$ is extremal, but this was wrong as the definition of the notion was incorrect. In joint work with Salih Azgin and Florian Pop, we corrected the definition, and thereby the proof, and partially characterized extremal valued fields. This work was then continued together with Sylvy Anscombe. It has remained an open problem whether adding the (very handy) axiom system expressing extremality to the aforementioned adapted system will render it complete.

Another important question is whether we can push things beyond the class of defectless fields. In joint work with Anna Rzepka I have studied the valuation theory of "deeply ramified fields", which admit only certain less harmful defects. Perfectoid fields belong to this (elementary) class of valued fields, as well as all perfect valued fields of positive characteristic, such as the perfect hull of $\mathbb{F}_p((t))$. Thus the theory of deeply ramified fields may offer some clues for the open problem of the decidability of the latter.