## Model Theory Seminar - Dicle Mutlu - Classification of 1-Types in Valued Differential Fields

- Calendar
- Mathematics & Statistics

- Date
- 10.02.2020 11:30 am - 12:30 pm

### Description

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.

Location: Virtual

If you need the zoom link, please write to hartb@mcmaster.ca