Deirdre Haskell (McMaster University)
- Date
- Wednesday 7 December 2022, 2:00 PM
- Location
- MALL
- Category
- Models and Sets Seminar
Residue field domination in some theories of valued fields
A paraphrase of the Ax-Kochen-Ersov theorem for some theories of valued fields is that the elementary theory is determined by the theory of the value group and the residue field. At the level of types, the intuition is that a type should be controlled by its trace in each of the residue field and value group. In this talk, I will explore some ways in which this intuition can be made precise, and also some limitations to that preliminary intuition. I will try to give lots of examples to keep the discussion concrete.