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
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.