Model Theory Seminar - Dicle Mutlu - Classification of 1-Types in Valued Differential Fields
Speaker: Dicle Mutlu (McMaster University)
Abstract: In this talk, we will discuss 1-types over the models of the theory of existentially closed valued differential fields (VDF_EC). T. Scanlon introduced VDF_EC and showed that it has quantifier elimination. Without the derivation symbol in the language, one achieves the theory of algebraically closed valued fields (ACVF), where the 1-types are well-understood. We will also discuss the results of P. Simon and S. Rideau on VDF_EC. By using these results, we will present the classification of 1-types as well as give the sufficient and necessary conditions for a type to be definable or invariant in VDF_EC.
If you need the zoom link, please write to email@example.com