Model Theory Seminar: An approach to the decidability of mixed characteristic valued fields

Seminar | September 11 | 2:20-3:30 p.m. | 891 Evans Hall | Note change in time

 Konstantinos Kartas, University of Oxford

 Department of Mathematics

After quickly reviewing the basics of valued fields, I will focus on a particular technique. This technique roughly reduces the decidability of a henselian mixed characteristic valued field to the decidability of its residue rings. A proof of this result will be presented, some applications and possible future directions.