Model theory of expansions of valued fields

点击翻译按钮获取中文摘要

My area of research is model-theoretic algebra. This is a subfield of mathematical logic, in which techniques of model theory are applied to other parts of mathematics including number theory, algebraic geometry, representation theory and real analytic geometry. The last twenty years have seen some very exciting developments in this area, including Pila's applications of o-minimality to counting points on analytic varieties, Hrushovski's proof of the Manin-Mumford conjecture in characteristic p and the work of Cluckers, Hales and Loeser on motivic integration which they used to transfer Ngo's proof of the Fundamental Lemma of the Langlands program in characteristic p to also have the statement in characteristic 0. All of the above work either uses the theory of valued fields or has analogies in the theory of valued fields. My own work is in continuing to develop the foundations of the model theory of valued fields.