Universität Münster
Institut für Mathematische Logik und Grundlagenforschung
Adresse
Einsteinstraße 62
48149 Münster
Deutschland
GERiT
Diese Institution in GERiT
48149 Münster
Projekte
Heisenberg-Stipendien
abgeschlossene Projekte
Reine Mathematik
(Antragstellerin
Tent, Katrin
)
Emmy Noether-Auslandsstipendien
abgeschlossene Projekte
Konstruktivität und logische Komplexität in Arithmetik und Mengenlehre
(Antragsteller
Burr, Wolfgang
)
Sachbeihilfen
laufende Projekte
AEI-DFG: Abbildungsklassengruppen von oben und von unten
(Antragsteller
Fioravanti, Elia
)
Die AKE Philosophie: Von arithmetischer Geometrie bis zur Klassifikationstheorie
(Antragstellerin
Jahnke, Franziska
)
Modelltheorie bewerteter Körper mit Endomorphismus
(Antragstellerinnen / Antragsteller
Hils, Martin
;
Jahnke, Franziska
)
abgeschlossene Projekte
Analytische Kombinatorik und endliche Modelltheorie
(Antragsteller
Weiermann, Andreas
)
Anwendung der Theorie der inneren Modelle auf Fragen der Absolutheit und Korrektheit
(Antragsteller
Schindler, Ralf
)
Anwendungen der Theorie der Kernmodelle insbesondere in der Kardinalzahlarithmetik (bzw. pcf-Theorie)
(Antragsteller
Schindler, Ralf
)
Archivarische Behandlung und wissenschaftshistorische Auswertung des SCHOLZ-Nachlasses
(Antragsteller
Diller, Justus
)
Beweistheorie und analytische Kombinatorik
(Antragsteller
Weiermann, Andreas
)
BN-Paare in der Modelltheorie
(Antragstellerin
Tent, Katrin
)
Die Geologie Innerer Modelle
(Antragsteller
Schindler, Ralf
)
Geometrische Modelltheorie, pseudo-endliche Kombinatorik und komprimierbare Typen
(Antragsteller
Bays, Martin
)
Geometrische und kombinatorische Konfigurationen in der Modelltheorie
(Antragstellerinnen / Antragsteller
Hils, Martin
;
Martin-Pizarro, Amador
;
Tent, Katrin
)
The interplay between algebra and logic
(Antragsteller
Schindler, Ralf
;
Strüngmann, Lutz
)
Verallgemeinerte Bairesche Räume - Definierbarkeit und paradoxe Mengen
(Antragsteller
Schindler, Ralf
)
Sonderforschungsbereiche
laufende Projekte
Gruppentheoretische Aspekte negativer Krümmung
(Teilprojektleiterin
Tent, Katrin
)
abgeschlossene Projekte
Abstrakte Klassifikationstheorie: Topologische Räume, Gruppen und deskriptive Mengenlehre
(Teilprojektleiterinnen / Teilprojektleiter
Schindler, Ralf
;
Tent, Katrin
)
Definierbare Reduzierbarkeit
(Teilprojektleiter
Miller, Benjamin
;
Schindler, Ralf
)
Groups, Buildings, and Model Theory
(Teilprojektleiterin
Tent, Katrin
)
Groups, Buildings and Model Theory
(Teilprojektleiterin
Tent, Katrin
)
Gruppen, Geometrien und modelltheoretische Modularität
(Teilprojektleiterin
Tent, Katrin
)
Integriertes Graduiertenkolleg
(Teilprojektleiterinnen / Teilprojektleiter
Hartl, Urs
;
Löwe, Matthias
;
Tent, Katrin
)
Modelltheorie bewerteter Körper und definierbarer Gruppen
(Teilprojektleiterinnen / Teilprojektleiter
Hils, Martin
;
Jahnke, Franziska
;
Tent, Katrin
)
SFB 878: Gruppen, Geometrie und Aktionen
(Sprecherinnen / Sprecher
Deninger, Christopher
;
Lück, Wolfgang
;
Tent, Katrin
)
Zentrale Aufgaben
(Teilprojektleiterinnen / Teilprojektleiter
Cuntz, Joachim
;
Deninger, Christopher
;
Lück, Wolfgang
;
Schneider, Peter
;
Tent, Katrin
)
Forschungsstipendien
abgeschlossene Projekte
Anwendungen der Theorie innerer Modelle auf abschüssige Ideale, Forcingaxiome und Stationarität.
(Antragsteller
Adolf, Dominik
)
Exzellenzcluster (ExStra)
laufende Projekte
EXC 2044: Mathematik Münster: Dynamik – Geometrie – Struktur
(Sprecher
Nikolaus, Thomas
;
Ohlberger, Mario
)
