Model theory and, more generally, mathematical logic as a whole has seen striking applicationsto arithmetic geometry, topological dynamics and group theory. Such applications as well asfundamental questions in geometric group theory, on the foundations of model theory and in settheory are at the focus of our work. The research in our group reaches from group theoretic questions to the model theory of groups andvalued fields as well as set theory. The study of automorphism groups of first order structures astopological groups, for examples, uses tools from descriptive set theory leading to pure set theoretic questions.
| Bays, Martin | |
| Gardam, Giles | |
| Hils, Martin | |
| Jahnke, Franziska | |
| Kwiatkowska, Aleksandra | |
| Schindler, Ralf-Dieter | |
| Schlutzenberg, Farmer | |
| Tent, Katrin |
| Bays, Martin | |
| Hils, Martin | |
| Jahnke, Franziska | |
| Kwiatkowska, Aleksandra | |
| Schindler, Ralf-Dieter | |
| Schlutzenberg, Farmer | |
| Tent, Katrin |
| Jahnke, Franziska |
Duration: 01/01/2019 - 31/12/2025 | 1st Funding period Funded by: DFG - Cluster of Excellence Type of project: Main DFG-project hosted at University of Münster |
Schlutzenberg Farmer (2021) In: Journal of Mathematical Logic, 21(2). doi:10.1142/S0219061321500082 Research article (journal) | Peer reviewed | Published | |
Schlutzenberg Farmer (2020) Other scientific publication | submitted / under review | |
Schlutzenberg Farmer (2022) In: Annals of Pure and Applied Logic, 173(2). doi:10.1016/j.apal.2021.103056 Research article (journal) | Peer reviewed | Published | |
Schlutzenberg Farmer (2020) Other scientific publication | accepted / in press (not yet published) | |
Farmer Schlutzenberg (2020) Other scientific publication | submitted / under review |
| The amalgamation property for definable types Hils, Martin (19/09/2023) Model Theory Conference , University of Wroclaw Type of talk: scientific Talk | |
| Lang-Weil type bounds in finite difference fields Hils, Martin (30/05/2023) Model theory of valued fields, CIRM (Marseille) Type of talk: scientific Talk | |
| Spaces of definable types and beautiful pairs in unstable theories Hils, Martin (21/04/2023) Géométrie et théorie des modèles, Institut Henri Poincaré, Paris Type of talk: scientific Talk | |
| Beautiful pairs in unstable theories and spaces of definable types Hils, Martin (08/03/2023) Research Seminar in Model Theory, Universität Wien Type of talk: scientific Talk | |
| Lang-Weil type bounds in finite difference fields Hils, Martin (15/02/2023) Donau-Rhein-Modelltheorie-Seminar, Universität Passau Type of talk: scientific Talk |