Florian Felix: Quantifier elimination and NIP in separably closed valued fields
am Donnerstag, 15.11.2018 11:00 im Raum SR 1D
Jizhan Hong has shown that the theory of separably closed valued fields of infinite imperfection degree has quantifier elimination in the
language of valued rings together with certain lambda p-coordinate
functions. We will elaborate on his proof, and using this result we will prove that the same theory has NIP by counting coheirs.