Scientific Committee
Comité scientifique
Sylvy Anscombe (Université Paris Cité)
Raf Cluckers (CNRS, Université de Lille)
Franziska Jahnke (University of Münster)
Jonathan Pila (University of Oxford)
Organizing Committee
Comité d’organisation
Sylvy Anscombe (Université Paris Cité)
Vincent Bagayoko (Université Paris Cité)
Arthur Forey (CNRS, Université de Lille)
Franziska Jahnke (University of Münster)
L’objectif de cette conférence est de mettre en valeur les connexions et interactions récentes entre la théorie des modèles et la théorie des nombres, et de favoriser de nouveaux développements en créant un forum d’échanges mathématiques et de discussions intenses. Plus précisément, le thème de cette réunion est la confluence de quatre sujets : (A) l athéorie des modèles des corps et des corps valués ; (B) les notions de minimalité dans la théorie des modèles, y compris l’o-minimalité et la h-minimalité ; (C) la théorie de la calculabilité, en relation avec les théories du premier ordre des anneaux et des corps, et avec le dixième problème de Hilbert ; et (D) l’interaction entre la théorie des modèles et la géométrie, en particulier en ce qui concerne la géométrie arithmétique et l’intégration motivique. Ces quatre domaines ont récemment connu des développements spectaculaires qui seront reflétés dans la réunion proposée.
The aim of this conference is to showcase recent connections and interactions between Model Theory and Number Theory, and to foster new developments by creating a forum for mathematical exchange and intense discussions. More precisely, the theme of this meeting is the confluence of four subjects: (A) the Model Theory of fields and of valued fields; (B) notions of minimality in Model Theory, including o-minimality and Hensel minimality; (C) Computability Theory, as it relates to first-order theories of rings and fields, and to Hilbert’s Tenth Problem; and (D) the interplay of Model Theory and Geometry, in particular with respect to arithmetic geometry and motivic integration. All of these four areas have recently seen spectacular developments which will be reflected in the proposed meeting.
SPEAKERS
Tijs Buggenhout ( KU Leuven) Approximating parametric suprema for constructible and power-constructible functions: Part 1
Paola D’aquino (University of Campania Luigi Vanvitelli) Residue rings, chain rings and their model theory
Nicolas Daans (University of Mons) Existential decidability and definability of valuation rings in function fields
Anna De Mase (University of Konstanz) Order-topological characterization of groups and fields with automatic (0)-definability
Philip Dittmann (University of Manchester) On the existential theory of the completions of a function field
Sebastian Eterovic (University of Vienna) Bialgebraic varieties of the Gamma function
Guy Fowler ( University of Manchester) Modular Zilber–Pink for generic varieties
Leo Gitin (University of Oxford) The saturation-decomposition method for deeply ramified fields
Borys Kadets (Hebrew University of Jerusalem) Algebraic points on the universal hypersurface (via zoom)
Konstantinos Kartas (University of Münster) Tame Banach rings
Margarete Ketelsen (University of Münster) Definable henselian valuations in positive residue characteristic
Jochen Koenigsmann (University of Oxford) Walking through the fields of arithmetic
Anna De Mase (University of Konstanz) Order-topological characterization of groups and fields with automatic (0)-definability
Jennifer Park (The Ohio State University) Hilbert’s tenth problem for l-bounded function fields
Florian Pop (University of Pennsylvania) Model Theory — Arithmetic Geometry,
Sidonie Ratajczak (University de Lille) Motivic local density of isolated surface singularities
Silvain Rideau-kikuchi (ENS – PSL) H-minimal fields with operators
Paulo Andrés Soto Moreno (Université Paris Cité / IMJ-PRG) Existential NIP Formulas in Valued Fields of Positive Characteristic
Mathias Stout (McMaster University – Fields Institute Toronto) Formalizing the model theory of valued fields
Lisa Vandebrouck (KU Leuven) Approximating parametric suprema for constructible and power-constructible functions: Part 2
Floris Vermeulen (University of Münster) Kontsevich-Zagier in valued fields
Harper Wells (UC Berkeley) Definable Functions to Quotients of Ordered Abelian Groups
SPONSORS
MAS