Classification of definable quotients
Basic data for this talk
Type of talk: scientific talk
Name der Vortragenden: Hils, Martin
Date of talk: 16/12/2021
Talk language: English
Information about the event
Name of the event: Logic Colloquium
Event period: 16/12/2021
Event location: Universität Wien
Event website: https://mathematik.univie.ac.at/forschung/seminare/seminars-at-the-kgrc/logic-colloquium/?no_cache=1
Organised by: Kurt Gödel Research Center, Universität Wien
Abstract
In many areas of mathematics, quotient objects play an important role, and it is often useful to close a category under quotients. In the talk, we will discuss so-called imaginaries, i.e., definable quotients in first order logic. In algebraically closed and in real closed fields, imaginaries may be eliminated. In valued fields, the situation is more interesting, as there are definable quotients like the residue field and value group which may not be eliminated. In algebraically closed valued fields, the imaginaries were classified by Haskell-Hrushovski-Macpherson. We will discuss a recent generalization of their work to more general henselian valued fields, which is joint with Silvain Rideau-Kikuchi.Keywords: model theory; valued fields, classification of imaginaries
Speakers from the University of Münster
| Hils, Martin | Professorship for Mathematical Logic (Prof. Hils) |