University of Münster
CRIS@UM
DE | EN

Institute of Mathematical Logic and Basic Research

Status: Organisation is active
Address: 
Einsteinstr. 62
48149 Münster
Germany

Publications

Un principe d'Ax-Kochen-Ershov imaginaire
Hils Martin, Rideau-Kikuchi Silvain
In: Journal of the European Mathematical Society.
Research article (journal) | Peer reviewed | accepted / in press (not yet published)
Apartment classes of integral symplectic groups
Brück, Benjamin; Sroka, Robin J. (2025)
In: Journal of Topology and Analysis, 17(06), 1821-1840. doi:10.1142/S1793525324500286
Research article (journal) | Peer reviewed | Published
Weight 2 cohomology of graph complexes of cyclic operads and the handlebody group
Borinsky, Michael; Brück, Benjamin; Willwacher, Thomas (2025)
In: Selecta Mathematica (New Series), 31, 22. doi:10.1007/s00029-025-01018-9
Research article (journal) | Peer reviewed | Published
Top-degree rational cohomology in the symplectic group of a number ring
Brück, Benjamin; Himes, Zachary (2025)
In: Selecta Mathematica (New Series), 31, 55. doi:10.1007/s00029-025-01051-8
Research article (journal) | Peer reviewed | Published
Non-vanishing unitary cohomology of low-rank integral special linear groups
Brück, Benjamin; Hughes, Sam; Kielak, Dawid; Mizerka, Piotr (2025)
In: International Mathematics Research Notices, 2025(15). doi:10.1093/imrn/rnaf230
Research article (journal) | Peer reviewed | Published
Show all publications (289)

Projects

High-dimensional cohomology of arithmetic groups
Duration: 01/07/2026 - 30/06/2029 | 1st Funding period
Funded by: DFG - Individual Grants Programme
Type of project: Individual project
EXC 2044 - T01: K-Groups and cohomology
Duration: 01/01/2026 - 31/12/2032 | 1st Funding period
Funded by: DFG - Cluster of Excellence
Type of project: Subproject in DFG-joint project hosted at University of Münster
EXC 2044 - T03: Models and universes
Duration: 01/01/2026 - 31/12/2032 | 1st Funding period
Funded by: DFG - Cluster of Excellence
Type of project: Subproject in DFG-joint project hosted at University of Münster
EXC 2044 - T04: Groups and actions
Duration: 01/01/2026 - 31/12/2032 | 1st Funding period
Funded by: DFG - Cluster of Excellence
Type of project: Subproject in DFG-joint project hosted at University of Münster
EXC 2044 - T08: Random discrete structures and their limits
Duration: 01/01/2026 - 31/12/2032 | 1st Funding period
Funded by: DFG - Cluster of Excellence
Type of project: Subproject in DFG-joint project hosted at University of Münster
Show all projects (33)

Preisverleihungen

Pfizer Forschungspreis für Nachwuchswissenschaftlerinen und Nachwuchswissenschaftler der Universität Freiburg 2006
Awarded by: Pfizer Deutschland GmbH
Award given to: Halupczok, Immanuel
Date of awarding: 01/01/2006
Type of distinction: Research award or other distinction
Wolfgang-Gentner-Nachwuchsförderpreis der Universität Freiburg
Awarded by: Universität Freiburg
Award given to: Halupczok, Immanuel
Date of awarding: 01/01/1999
Type of distinction: Research award or other distinction
Bayerischer Habilitationsförderpreis
Awarded by: Bayerisches Staatsministerium für Wissenschaft, Forschung und Kunst
Award given to: Tent, Katrin
Date of awarding: 01/01/1998
Type of distinction: Research award or other distinction
Heisenberg Fellowship
Awarded by: Deutsche Forschungsgemeinschaft (DFG)
Award given to: Tent, Katrin
Announced at: 01/01/2001
Type of distinction: Scholarship

Promotionen

Combinatorial Complexity in Henselian Valued Fields
Candidate: Boissonneau, Blaise | Supervisors: Jahnke, Franziska | Reviewers: Chernikov, Artem; Jahnke, Franziska
Period of time: 01/09/2018 - 28/06/2022
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
On Transfer Principles in Henselian Valued Fields
Candidate: Touchard, Pierre | Supervisors: Hils, Martin
Period of time: until 04/09/2020
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Geodesic Flows and Model Theory of Differential Fields
Candidate: Jaoui, Rémi | Supervisors: Bost, Jean-Benoît
Period of time: until 30/06/2017
Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster)
Iterated asymptotic cones
Candidate: Scheele, Lars | Supervisors: Tent, Katrin
Period of time: until 08/07/2011
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Candidate: Stegert, Jan-Carl | Supervisors: Pohlers, Wolfram; Schindler, Ralf
Period of time: until 30/03/2011
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Show all doctorates (22)

Habilitationen

Strati cations, motivic integration, and uniform representation theory
Candidate: Halupczok, Immanuel | Reviewers: Tent, Karin
Period of time: until 01/05/2013
Habilitation procedure finished at: Habilitation procedure at University of Münster
Arithmetic Analysis of Elementary Patterns of Order 1 and 2 (Kumulative Habilitationsleistung)
Candidate: Wilken, Gunnar | Reviewers: Pohlers, Wolfram; Mints, Gregori; Arai, Toshiyasu
Period of time: until 16/11/2011
Habilitation procedure finished at: Habilitation procedure at University of Münster
A Collection of Forcing Phenomena: Forcing Absoluteness, Nonabsoluteness, and Forcing Axioms
Candidate: Fuchs, Gunter | Reviewers: Schindler, Ralf-Dieter
Period of time: until 22/07/2009
Habilitation procedure finished at: Habilitation procedure at University of Münster
Beiträge zum Fundamentalproblem der beschränkten Arithmettik (Kumulative Habilitationsleistung)
Candidate: Beckmann, Arnold | Reviewers: Pohlers. Wolfram; Buss Samuel; Krajicek, Jan
Period of time: until 08/05/2002
Habilitation procedure finished at: Habilitation procedure at University of Münster
Ein Beitrag zur Theorie der subrekursiven Funktionen
Candidate: Weiermann, Andreas | Reviewers: Pohlers, Wolfram; Wainer, Stanley; Buchholz, Wilfried
Period of time: until 22/06/1994
Habilitation procedure finished at: Habilitation procedure at University of Münster
Show all habilitations (7)

Vorträge

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
Show all talks (45)

Parent organisational units

Subordinate organisational units