Institut für Mathematische Logik und Grundlagenforschung
Status: Organisation ist aktiv
Webseite: https://www.uni-muenster.de/Logik
| Anschrift: | Einsteinstr. 62 48149 Münster Deutschland |
Publikationen
Hils Martin, Rideau-Kikuchi Silvain In: Journal of the European Mathematical Society. Forschungsartikel (Zeitschrift) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Brück, Benjamin; Sroka, Robin J. (2025) In: Journal of Topology and Analysis, 17(06), 1821-1840. doi:10.1142/S1793525324500286 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Borinsky, Michael; Brück, Benjamin; Willwacher, Thomas (2025) In: Selecta Mathematica (New Series), 31, 22. doi:10.1007/s00029-025-01018-9 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Brück, Benjamin; Himes, Zachary (2025) In: Selecta Mathematica (New Series), 31, 55. doi:10.1007/s00029-025-01051-8 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Brück, Benjamin; Hughes, Sam; Kielak, Dawid; Mizerka, Piotr (2025) In: International Mathematics Research Notices, 2025(15). doi:10.1093/imrn/rnaf230 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht |
Projekte
Laufzeit: 01.07.2026 - 30.06.2029 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: 01.01.2026 - 31.12.2032 | 1. Förderperiode Gefördert durch: DFG - Exzellenzcluster Art des Projekts: Teilprojekt in DFG-Verbund koordiniert an der Universität Münster | |
Laufzeit: 01.01.2026 - 31.12.2032 | 1. Förderperiode Gefördert durch: DFG - Exzellenzcluster Art des Projekts: Teilprojekt in DFG-Verbund koordiniert an der Universität Münster | |
Laufzeit: 01.01.2026 - 31.12.2032 | 1. Förderperiode Gefördert durch: DFG - Exzellenzcluster Art des Projekts: Teilprojekt in DFG-Verbund koordiniert an der Universität Münster | |
Laufzeit: 01.01.2026 - 31.12.2032 | 1. Förderperiode Gefördert durch: DFG - Exzellenzcluster Art des Projekts: Teilprojekt in DFG-Verbund koordiniert an der Universität Münster |
Preisverleihungen
| Pfizer Forschungspreis für Nachwuchswissenschaftlerinen und Nachwuchswissenschaftler der Universität Freiburg 2006 Verliehen von: Pfizer Deutschland GmbH Verliehen an: Halupczok, Immanuel Verleihung erfolgte am: 01.01.2006 Art der Preisverleihung: Forschungspreis oder andere Auszeichnung | |
| Wolfgang-Gentner-Nachwuchsförderpreis der Universität Freiburg Verliehen von: Universität Freiburg Verliehen an: Halupczok, Immanuel Verleihung erfolgte am: 01.01.1999 Art der Preisverleihung: Forschungspreis oder andere Auszeichnung | |
| Bayerischer Habilitationsförderpreis Verliehen von: Bayerisches Staatsministerium für Wissenschaft, Forschung und Kunst Verliehen an: Tent, Katrin Verleihung erfolgte am: 01.01.1998 Art der Preisverleihung: Forschungspreis oder andere Auszeichnung | |
| Heisenberg-Stipendium Verliehen von: Deutsche Forschungsgemeinschaft (DFG) Verliehen an: Tent, Katrin Bekannt gegeben am: 01.01.2001 Art der Preisverleihung: Stipendium |
Promotionen
| Combinatorial Complexity in Henselian Valued Fields Promovend*in: Boissonneau, Blaise | Betreuer*innen: Jahnke, Franziska | Gutachter*innen: Chernikov, Artem; Jahnke, Franziska Zeitraum: 01.09.2018 - 28.06.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Über Transferprinzipien in henselsch bewerteten Körpern Promovend*in: Touchard, Pierre | Betreuer*innen: Hils, Martin Zeitraum: bis 04.09.2020 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Geodätische Flüsse und Modelltheorie differentieller Körper Promovend*in: Jaoui, Rémi | Betreuer*innen: Bost, Jean-Benoît Zeitraum: bis 30.06.2017 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an anderer Universität (NICHT Universität Münster) | |
| Iterated asymptotic cones Promovend*in: Scheele, Lars | Betreuer*innen: Tent, Katrin Zeitraum: bis 08.07.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles Promovend*in: Stegert, Jan-Carl | Betreuer*innen: Pohlers, Wolfram; Schindler, Ralf Zeitraum: bis 30.03.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |
Habilitationen
Strati cations, motivic integration, and uniform representation theory Habilitand*in: Halupczok, Immanuel | Gutachter*innen: Tent, KarinZeitraum: bis 01.05.2013 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Arithmetic Analysis of Elementary Patterns of Order 1 and 2 (Kumulative Habilitationsleistung) Habilitand*in: Wilken, Gunnar | Gutachter*innen: Pohlers, Wolfram; Mints, Gregori; Arai, ToshiyasuZeitraum: bis 16.11.2011 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
A Collection of Forcing Phenomena: Forcing Absoluteness, Nonabsoluteness, and Forcing Axioms Habilitand*in: Fuchs, Gunter | Gutachter*innen: Schindler, Ralf-DieterZeitraum: bis 22.07.2009 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Beiträge zum Fundamentalproblem der beschränkten Arithmettik (Kumulative Habilitationsleistung) Habilitand*in: Beckmann, Arnold | Gutachter*innen: Pohlers. Wolfram; Buss Samuel; Krajicek, JanZeitraum: bis 08.05.2002 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Ein Beitrag zur Theorie der subrekursiven Funktionen Habilitand*in: Weiermann, Andreas | Gutachter*innen: Pohlers, Wolfram; Wainer, Stanley; Buchholz, WilfriedZeitraum: bis 22.06.1994 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster |
Vorträge
| Die Amalgamierungseigenschaft für definierbare Typen Hils, Martin (19.09.2023) Model Theory Conference , University of Wroclaw Art des Vortrags: wissenschaftlicher Vortrag | |
| Lang-Weil Abschätzungen in endlichen Differenzenkörpern Hils, Martin (30.05.2023) Model theory of valued fields, CIRM (Marseille) Art des Vortrags: wissenschaftlicher Vortrag | |
| Räume definierbarer Typen und schöne Paare in unstabilen Theorien Hils, Martin (21.04.2023) Géométrie et théorie des modèles, Institut Henri Poincaré, Paris Art des Vortrags: wissenschaftlicher Vortrag | |
| Schöne Paare in unstabilen Theorien und Räume definierbarer Typen Hils, Martin (08.03.2023) Research Seminar in Model Theory, Universität Wien Art des Vortrags: wissenschaftlicher Vortrag | |
| Lang-Weil Abschätzungen in endlichen Differenzenkörpern Hils, Martin (15.02.2023) Donau-Rhein-Modelltheorie-Seminar, Universität Passau Art des Vortrags: wissenschaftlicher Vortrag |