Close

McMaster University will continue to host undergraduate academic activities remotely for the Spring/Summer/Intersession term with only a few exceptions for courses that need student access to specialized equipment.

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

Description

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

Location: Virtual

If you need the zoom link, please write to hartb@mcmaster.ca  
Go Back
McMaster University - Faculty of Science | Math & Stats