Seminar series
Date
Mon, 21 Oct 2019
Time
16:00 -
17:00
Location
C1
Speaker
Konstantinos Kartas
Organisation
Oxford University
The goal of the talk is to present a proof of the following statement:
Let (K,v) be an algebraic extension of (Q_p,v_p) whose completion is perfectoid. We show that K is relatively decidable to its tilt K^♭, i.e. if K^♭ is decidable in the language of valued fields, then so is K.
In the first part [of the talk], I will try to cover the necessary background needed from model theory and the theory of perfectoid fields.