Speaker:
Simone Ramello (WWU Münster)

Title:
Towards a model theory of Frobenius lifts

Abstract:
The model theory of Witt vectors over a perfect residue 
field, enriched with the (unique) lift of the Frobenius, 
is well understood by work of Bélair-Macintyre-Scanlon. 
We seek to generalize these results to the case of imperfect 
residue field, where Witt vectors have to be replaced by 
Cohen rings, whose model theory is clear thanks to work of 
Anscombe-Jahnke. I will present some of the main difficulties 
in approaching these difference valued fields, together with 
a proposed strategy to overcome them.