Classification of imaginaries in existentially closed valued difference fields

Basic data for this talk

Information about the event

Abstract

In their seminal work, Haskell, Hrushovski and Macpherson gave a classification of imaginaries (i.e. quotient objects in the definable category) in an algebraically closed valued field K by the so-called geometric sorts, namely the valued field sort together with sorts for all OK-lattices in Kn and for the reducts of these lattices modulo the maximal ideal of the valuation ring OK. In the talk, I will present recent work, joint with Silvain Rideau-Kikuchi, establishing that the geometric sorts are also sufficient to classify the imaginaries in certain existentially closed valued difference fields of residue characteristic 0, in particular in the isometric case, where the automorphism induces the identity on the value group, and in the omega-increasing case, which corresponds to the non-standard Frobenius automorphism acting on an algebraically closed valued field.

Speakers from the University of Münster

Hils, Martin

Professorship for Mathematical Logic (Prof. Hils)