Model theory is a branch of Mathematical logic that has had several remarkable applications with other areas of mathematics, such as Combinatorics, Algebraic Geometry, Number Theory, Arithmetic Geometry, Complex and Real Analysis, Functional Analysis, and Algebra (to name a few). Some of these applications have come from the study of model-theoretic properties of fields equipped with a family of operators. For instance, this includes differential/difference fields. In this project, we will look at the model theory of fields equipped with a general class of operators (that unifies other known approaches) and also within certain natural classes of fields (such as real closed fields). Several foundational questions remain open around what is called "model-companion", "elimination of imaginaries", and the "trichotomy", this is a small sample of the problems that will be tackled.
This is open to all students (Home, EU, International). There is no funding attached to this project.