Research Seminar in Model Theory
In addition to occasional presentations of current research by visitors, this seminar features talks on papers in model theory of interest to the audience. The focus topic of each semester is determined at an organizational meeting at the beginning of each semester.
Students who would like to receive a grade in this seminar may be required to give a talk.
Unless stated otherwise, talks start on Wednesdays at 11:30.
Upcoming Talks
| Date | Location | Speaker | Topic |
|---|
Past Talks
| Date | Location | Speaker | Topic |
|---|
Selected Talks (Winter 2022/2023)
Tame fields and beyond
November and December feature a series of talks by F.-V. Kuhlmann:
- Wednesday, November 16 (slides)
- Wednesday, November 23 (slides)
- Wednesday, November 30 (slides)
- Wednesday, December 7 (slides)
- Wednesday, December 14 (slides)
I will introduce the notion of "tame field" and describe 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 \(F_p((t))\), where \(F_p\) is the field with \(p\) elements; yet tame fields are perfect, while \(F_p((t))\) is not. We are still lacking a complete recursive axiomatization for \(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 \(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 \(F_p((t))\). Thus the theory of deeply ramified fields may offer some clues for the open problem of the decidability of the latter.
In passing, I will also sketch the connection of the model theory of valued fields with the open problem of resolution of singularities in positive characteristic.