Imaginaries in valued fields with analytic structure
|
Thu, 01/03/2012 17:00 |
Dugald Macpherson (Leeds) |
Logic Seminar  |
L3 |
| I will give an overview of the description of imaginaries in algebraically closed (and some other) valued fields, and then discuss the related issue for valued fields with analytic structure (in the sense of Lipshitz-Robinson, and Denef – van Den Dries). In particular, I will describe joint work with Haskell and Hrushovski showing that in characteristic 0, elimination of imaginaries in the `geometric sorts’ of ACVF no longer holds if restricted exponentiation is definable. | |||