Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität Münster
Institut für Mathematische Logik und Grundlagenforschung

Address Einsteinstraße 62
48149 Münster
Deutschland

GERiT This institution in GERiT

48149 Münster

Projects

Heisenberg Fellowships
- Completed projects
  - Reine Mathematik
    (Applicant Tent, Katrin )
Emmy Noether International Fellowships
- Completed projects
  - Konstruktivität und logische Komplexität in Arithmetik und Mengenlehre
    (Applicant Burr, Wolfgang )
Research Grants
- Current projects
  - AEI-DFG: Mapping class groups from above and below
    (Applicant Fioravanti, Elia )
  - Model theory of valued fields with endomorphism
    (Applicants Hils, Martin ; Jahnke, Franziska )
- Completed projects
  - Analytische Kombinatorik und endliche Modelltheorie
    (Applicant Weiermann, Andreas )
  - Anwendung der Theorie der inneren Modelle auf Fragen der Absolutheit und Korrektheit
    (Applicant Schindler, Ralf )
  - Anwendungen der Theorie der Kernmodelle insbesondere in der Kardinalzahlarithmetik (bzw. pcf-Theorie)
    (Applicant Schindler, Ralf )
  - Archivarische Behandlung und wissenschaftshistorische Auswertung des SCHOLZ-Nachlasses
    (Applicant Diller, Justus )
  - Beweistheorie und analytische Kombinatorik
    (Applicant Weiermann, Andreas )
  - BN-Paare in der Modelltheorie
    (Applicant Tent, Katrin )
  - Generalized Baire spaces - definability and paradoxical sets
    (Applicant Schindler, Ralf )
  - Geometric and Combinatorial Configurations in Model Theory
    (Applicants Hils, Martin ; Martin-Pizarro, Amador ; Tent, Katrin )
  - Geometric model theory, pseudofinite combinatorics, and compressible types
    (Applicant Bays, Martin )
  - Inner model theoretic geology
    (Applicant Schindler, Ralf )
  - The interplay between algebra and logic
    (Applicants Schindler, Ralf ; Strüngmann, Lutz )
Collaborative Research Centres
- Current projects
  - Group theoretic aspects of negative curvature
    (Project Head Tent, Katrin )
- Completed projects
  - Abstract classification theory: topological spaces, groups, and descriptive set theory
    (Project Heads Schindler, Ralf ; Tent, Katrin )
  - Central tasks
    (Project Heads Cuntz, Joachim ; Deninger, Christopher ; Lück, Wolfgang ; Schneider, Peter ; Tent, Katrin )
  - Definable reducibility
    (Project Heads Miller, Benjamin ; Schindler, Ralf )
  - Groups, Buildings, and Model Theory
    (Project Head Tent, Katrin )
  - Groups, Buildings and Model Theory
    (Project Head Tent, Katrin )
  - Groups, geometries and model theoretic modularity
    (Project Head Tent, Katrin )
  - Integrated Research Training Group
    (Project Heads Hartl, Urs ; Löwe, Matthias ; Tent, Katrin )
  - Model theory of valued fields and definable groups
    (Project Heads Hils, Martin ; Jahnke, Franziska ; Tent, Katrin )
  - SFB 878: Groups, Geometry and Actions
    (Spokespersons Deninger, Christopher ; Lück, Wolfgang ; Tent, Katrin )
Research Fellowships
- Completed projects
  - Applications of inner model theory to precipitous ideals, forcing axioms and stationarity.
    (Applicant Adolf, Dominik )
Clusters of Excellence (ExStra)
- Current projects
  - EXC 2044: Mathematics Münster: Dynamics – Geometry – Structure
    (Spokespersons Nikolaus, Thomas ; Ohlberger, Mario )

© 2024 DFG Disclaimer / Copyright / Privacy Policy