Universität Münster
Institut für Mathematische Logik und Grundlagenforschung
  • zum Inhalt
  • zur Hauptnavigation
  • zur Zielgruppennavigation
  • zur Subnavigation
  • de
  • en
  • Home
  • Studium
  • Forschung
  • Das Institut
  • Martin Hils
  • Franziska Jahnke
  • Aleksandra Kwiatkowska
  • Ralf Schindler
  • Katrin Tent
  • Home
    • Studium
  • Skripte
  • Abschlussarbeiten
  • Aktuelles Semester

    Dr. Benjamin Brück

     

    Lehre

    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (zusammen mit Prof. Dr. Katrin Tent und Prof. Dr. Martin Hils)
      • [16.04 – 23.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich]
    • Vorlesung: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (zusammen mit Prof. Dr. Katrin Tent)
      • [13.10.2025 – 02.02.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.10.2025 – 05.02.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Vorlesung: Logische Grundlagen [102013]
      • [15.10.2025 – 28.01.2026 | Mi., 08:00 – 10:00 Uhr | wöchentlich | M B 5 (M 5)]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke und Prof. Dr. Martin Hils)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]

    Prof. Dr. Martin Hils

     

    Lehre

    • Vorlesung: Modelltheorie bewerteter Körper [104004]
      • [14.04 – 14.07.2026 | Di., 16:00 – 18:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [15.04 – 15.07.2026 | Mi., 16:00 – 18:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Seminar: Seminar zur Modelltheorie von PAC-Körpern [104006]
      • [14.04 – 21.07.2026 | Di., 16:00 – 18:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (zusammen mit Prof. Dr. Katrin Tent und Dr. Benjamin Brück)
      • [16.04 – 23.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich]
    • Übung: Übungen zur Vorlesung Modelltheorie bewerteter Körper [104005]
      • [Mi., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Vorlesung: Modelltheorie [102010]
      • [13.10.2025 – 02.02.2026 | Mo., 16:00 – 18:00 Uhr | wöchentlich | M B 4 (M 4)]
      • [16.10.2025 – 05.02.2026 | Do., 16:00 – 18:00 Uhr | wöchentlich | M B 4 (M 4)]
    • Seminar: Modelltheorie differentieller Körper [102012]
      • [14.10.2025 – 03.02.2026 | Di., 14:00 – 16:00 Uhr | wöchentlich]
      • [Di., 16:00 – 18:00 Uhr | wöchentlich | SRZ 203]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke und Dr. Benjamin Brück)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Übung: Übungen zur Modelltheorie [102011]
      • [14.10.2025 – 20.01.2026 | Di., 10:00 – 12:00 Uhr | wöchentlich]
      • [Mi., 12:00 – 14:00 Uhr | wöchentlich | SRZ 205]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]

    Prof. Franziska Jahnke

     

    Lehre

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Vorlesung: Berechenbarkeitstheorie [102004]
      • [20.10.2025 – 02.02.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 3 (M 3)]
      • [23.10.2025 – 05.02.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 3 (M 3)]
    • Seminar: Beinahe-Mathematik [102006]
      (zusammen mit Prof. Dr. Thomas Nikolaus)
      • [14.10.2025 – 03.02.2026 | Di., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Übung: Übungen zur Berechenbarkeitstheorie [102005]
      • [15.10.2025 – 04.02.2026 | Mi., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [15.10.2025 – 04.02.2026 | Mi., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [15.10.2025 – 04.02.2026 | Mi., 08:00 – 10:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [17.10.2025 – 06.02.2026 | Fr., 08:00 – 10:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [17.10.2025 – 06.02.2026 | Fr., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [17.10.2025 – 06.02.2026 | Fr., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]

    Jun.-Prof. Aleksandra Kwiatkowska

     

    Lehre

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]

    Prof. Dr. Ralf-Dieter Schindler

     

    Lehre

    • Vorlesung: Logik I [104007]
      • [13.04 – 13.07.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich | M B 5 (M 5)]
      • [16.04 – 16.07.2026 | Do., 14:00 – 16:00 Uhr | wöchentlich | M B 5 (M 5)]
    • Seminar: Seminar zur Mengenlehre [104009]
      • [14.04 – 21.07.2026 | Di., 14:00 – 16:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zur Mengenlehre [104010]
      • [15.04 – 22.07.2026 | Mi., 14:00 – 16:00 Uhr | wöchentlich]
    • Übung: Übungen zur Logik I [104008]
      • [22.04 – 22.07.2026 | Mi., 08:00 – 10:00 Uhr | wöchentlich]
    • Vorlesung: Logik 3 [102007]
      • [13.10.2025 – 26.01.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.10.2025 – 29.01.2026 | Do., 14:00 – 16:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Seminar: Seminar zur Logik [102008]
      • [14.10.2025 – 03.02.2026 | Di., 14:00 – 16:00 Uhr | wöchentlich]
      • [Mo., 16:00 – 18:00 Uhr | wöchentlich]
      • [Di., 16:00 – 18:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Oberseminar: Oberseminar zur Mengenlehre [102009]
      • [15.10.2025 – 04.02.2026 | Mi., 14:00 – 16:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Übung: Übungen Logik 3 [102014]
      • [20.10.2025 – 02.02.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich]
      • [Di., 12:00 – 14:00 Uhr | wöchentlich | SRZ 202]

    Prof. Dr. Dr. Katrin Tent

     

    Lehre

    • Vorlesung: Geometrische Gruppentheorie II (Hyperbolic groups and small cancellation theory) [104000]
      • [13.04 – 20.07.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.04 – 23.07.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Seminar: Seminar zur Modelltheorie: Ampleness [104003]
      • [13.04 – 20.07.2026 | Mo., 10:00 – 12:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (zusammen mit Prof. Dr. Martin Hils und Dr. Benjamin Brück)
      • [16.04 – 23.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich]
    • Übung: Übungen Hyperbolische Gruppen [104001]
      • [wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Vorlesung: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (zusammen mit Dr. Benjamin Brück)
      • [13.10.2025 – 02.02.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.10.2025 – 05.02.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Übung: Übungen Stabile Gruppen [102001]
      • [13.10.2025 – 02.02.2026 | Mo., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
  • Alle Semester

    Dr. Benjamin Brück

     

    Lehre

    Vorlesungen

    • Vorlesung: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (zusammen mit Prof. Dr. Katrin Tent)
      • [13.10.2025 – 02.02.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.10.2025 – 05.02.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Vorlesung: Logische Grundlagen [102013]
      • [15.10.2025 – 28.01.2026 | Mi., 08:00 – 10:00 Uhr | wöchentlich | M B 5 (M 5)]
    • Vorlesung: Logische Grundlagen [104793]

    Seminare

    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (zusammen mit Prof. Dr. Katrin Tent und Prof. Dr. Martin Hils)
      • [16.04 – 23.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke und Prof. Dr. Martin Hils)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)

    Prof. Dr. Martin Hils

     

    Lehre

    • Vorlesungen
    • Seminare
    • Übungen
    • Kolloquien
     

    Vorlesungen

    • Vorlesung: Modelltheorie bewerteter Körper [104004]
      • [14.04 – 14.07.2026 | Di., 16:00 – 18:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [15.04 – 15.07.2026 | Mi., 16:00 – 18:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Vorlesung: Modelltheorie [102010]
      • [13.10.2025 – 02.02.2026 | Mo., 16:00 – 18:00 Uhr | wöchentlich | M B 4 (M 4)]
      • [16.10.2025 – 05.02.2026 | Do., 16:00 – 18:00 Uhr | wöchentlich | M B 4 (M 4)]
    • Vorlesung: Logik I [100007]
    • Vorlesung: Logische Grundlagen [108008]
    • Vorlesung: Logik IV: Modelltheorie pseudoendlicher Körper [108010]
    • Vorlesung: Logik I [106000]
    • Vorlesung: Berechenbarkeitstheorie [104794]

    Seminare

    • Seminar: Seminar zur Modelltheorie von PAC-Körpern [104006]
      • [14.04 – 21.07.2026 | Di., 16:00 – 18:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (zusammen mit Prof. Dr. Katrin Tent und Dr. Benjamin Brück)
      • [16.04 – 23.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich]
    • Seminar: Modelltheorie differentieller Körper [102012]
      • [14.10.2025 – 03.02.2026 | Di., 14:00 – 16:00 Uhr | wöchentlich]
      • [Di., 16:00 – 18:00 Uhr | wöchentlich | SRZ 203]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke und Dr. Benjamin Brück)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Seminar: Seminar Modelle der Peano-Arithmetik [100005]
      (zusammen mit Prof. Dr. Ralf-Dieter Schindler)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Franziska Jahnke)
    • Seminar: Modelltheorie des Witt-Frobenius-Automorphismus [108009]
      (zusammen mit Simone Ramello)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Benjamin Brück)
    • Seminar: Seminar Modelltheorie und Kombinatorik [106002]
      (zusammen mit Robert Sullivan)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Benjamin Brück)
    • Seminar: Seminar in Modelltheorie: Stetige Logik und Anwendungen [104798]
      (zusammen mit Tingxiang Zou)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Benjamin Brück)

    Übungen

    • Übung: Übungen zur Vorlesung Modelltheorie bewerteter Körper [104005]
      • [Mi., 16:00 – 18:00 Uhr | wöchentlich]
    • Übung: Übungen zur Modelltheorie [102011]
      • [14.10.2025 – 20.01.2026 | Di., 10:00 – 12:00 Uhr | wöchentlich]
      • [Mi., 12:00 – 14:00 Uhr | wöchentlich | SRZ 205]
    • Übung: Übungen zur Logik I [100008]
    • Übung: Übungen zur Logik I [106001]
    • Übung: Übungen zur Berechenbarkeitstheorie [104795]
      (zusammen mit Dr. Stefan Hoffelner)

    Kolloquien

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium über Geschichte und Didaktik der Mathematik [104182]
      (zusammen mit Prof. Dr. Matthias Löwe, Prof. Dr. Martin Stein, apl. Prof.Michael Joachim und Prof. Dr. Gilbert Greefrath)

    Dr. Stefan Hoffelner

     

    Lehre

    Seminare

    • Seminar: Modern techniques in combinatorial set theory [104796]
      (zusammen mit Prof. Dr. Ralf-Dieter Schindler)
    • Oberseminar: Oberseminar Mengenlehre [104790]
      (zusammen mit Prof. Dr. Ralf-Dieter Schindler)

    Übung

    • Übung: Übungen zur Berechenbarkeitstheorie [104795]
      (zusammen mit Prof. Dr. Martin Hils)

    Kolloquien

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)

    Jun.-Prof. Franziska Jahnke

     

    Lehre

    Vorlesungen

    • Vorlesung: Berechenbarkeitstheorie [102004]
      • [20.10.2025 – 02.02.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 3 (M 3)]
      • [23.10.2025 – 05.02.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 3 (M 3)]
    • Vorlesung: Einführung in die Algebra [100010]

    Seminare

    • Seminar: Beinahe-Mathematik [102006]
      (zusammen mit Prof. Dr. Thomas Nikolaus)
      • [14.10.2025 – 03.02.2026 | Di., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Seminar: Einführung in die Stabilitätstheorie [100009]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (zusammen mit Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska und Prof. Dr. Martin Hils)

    Übungen

    • Übung: Übungen zur Berechenbarkeitstheorie [102005]
      • [15.10.2025 – 04.02.2026 | Mi., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [15.10.2025 – 04.02.2026 | Mi., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [15.10.2025 – 04.02.2026 | Mi., 08:00 – 10:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [17.10.2025 – 06.02.2026 | Fr., 08:00 – 10:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [17.10.2025 – 06.02.2026 | Fr., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
      • [17.10.2025 – 06.02.2026 | Fr., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Übung: Übungen zur Einführung in die Algebra [100011]
      (zusammen mit Margarete Ketelsen)

    Kolloquien

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)

    Jun.-Prof. Aleksandra Kwiatkowska

     

    Lehre

    Vorlesungen

    • Vorlesung: Deskriptive Mengenlehre [108002]
    • Vorlesung: Logic 3: Abstract Topological Dynamics and Descriptive Set Theory [104788]

    Seminare

    • Seminar: Einführung in die Stabilitätstheorie [100009]
      (zusammen mit Prof. Dr. Franziska Jahnke)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke und Prof. Dr. Martin Hils)
    • Seminar: Topological and measurable full groups [108004]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. David Kerr und Prof. Dr. Shirly Geffen)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
    • Seminar: Seminar in Descriptive Set Theory and Topological Dynamics [106003]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (zusammen mit Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils und Dr. Benjamin Brück)

    Übungen

    • Übung: Tutorial Descriptive Set Theory [108003]
    • Übung: Tutorial Logic 3: Abstract Topological Dynamics and Descriptive Set Theory [104789]
      (zusammen mit Robert Sullivan)

    Kolloquien

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)

    Prof. Dr. Ralf-Dieter Schindler

     

    Lehre

    Vorlesungen

    • Vorlesung: Logik I [104007]
      • [13.04 – 13.07.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich | M B 5 (M 5)]
      • [16.04 – 16.07.2026 | Do., 14:00 – 16:00 Uhr | wöchentlich | M B 5 (M 5)]
    • Vorlesung: Logik 3 [102007]
      • [13.10.2025 – 26.01.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.10.2025 – 29.01.2026 | Do., 14:00 – 16:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Vorlesung: Logik 3 / 4: Mengenlehre [100003]
    • Vorlesung: Berechenbarkeitstheorie [108006]
    • Vorlesung: Logik IV: Ausgewählte Themen aus der Mengenlehre [106008]
    • Vorlesung: Logik II [104791]

    Seminare

    • Seminar: Seminar zur Mengenlehre [104009]
      • [14.04 – 21.07.2026 | Di., 14:00 – 16:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zur Mengenlehre [104010]
      • [15.04 – 22.07.2026 | Mi., 14:00 – 16:00 Uhr | wöchentlich]
    • Seminar: Seminar zur Logik [102008]
      • [14.10.2025 – 03.02.2026 | Di., 14:00 – 16:00 Uhr | wöchentlich]
      • [Mo., 16:00 – 18:00 Uhr | wöchentlich]
      • [Di., 16:00 – 18:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Oberseminar: Oberseminar zur Mengenlehre [102009]
      • [15.10.2025 – 04.02.2026 | Mi., 14:00 – 16:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Seminar: Seminar Modelle der Peano-Arithmetik [100005]
      (zusammen mit Prof. Dr. Martin Hils)
    • Oberseminar: Advanced Seminar on Set Theory [100006]
    • Seminar: Seminar on Set Theory [108012]
    • Oberseminar: Advanced Seminar on Set Theory [108011]
    • Seminar: Seminar on Set Theory [106006]
    • Oberseminar: Advanced Seminar on Set Theory [106007]
    • Seminar: Modern techniques in combinatorial set theory [104796]
      (zusammen mit Dr. Stefan Hoffelner)
    • Oberseminar: Oberseminar Mengenlehre [104790]
      (zusammen mit Dr. Stefan Hoffelner)

    Übungen

    • Übung: Übungen zur Logik I [104008]
      • [22.04 – 22.07.2026 | Mi., 08:00 – 10:00 Uhr | wöchentlich]
    • Übung: Übungen Logik 3 [102014]
      • [20.10.2025 – 02.02.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich]
      • [Di., 12:00 – 14:00 Uhr | wöchentlich | SRZ 202]
    • Übung: Übungen zur Logik 3 / 4 [100004]
      (zusammen mit Taichi Yasuda)
    • Übung: Übungen zur Berechenbarkeitstheorie [108007]
    • Übung: Übungen zur Vorlesung Logik II - Einführung in die Mengenlehre [104792]

    Jun.-Prof. Farmer Schlutzenberg

     

    Lehre

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)

    Dr. Robert Sullivan

     

    Lehre

    Seminar

    • Seminar: Seminar Modelltheorie und Kombinatorik [106002]
      (zusammen mit Prof. Dr. Martin Hils)

    Übung

    • Übung: Tutorial Logic 3: Abstract Topological Dynamics and Descriptive Set Theory [104789]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska)

    Prof. Dr. Dr. Katrin Tent

     

    Lehre

    • Vorlesungen
    • Seminare
    • Übungen
    • Kolloquien
     

    Vorlesungen

    • Vorlesung: Geometrische Gruppentheorie II (Hyperbolic groups and small cancellation theory) [104000]
      • [13.04 – 20.07.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.04 – 23.07.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Vorlesung: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (zusammen mit Dr. Benjamin Brück)
      • [13.10.2025 – 02.02.2026 | Mo., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
      • [16.10.2025 – 05.02.2026 | Do., 08:00 – 10:00 Uhr | wöchentlich | M B 6 (M 6)]
    • Vorlesung: Geometrische Gruppentheorie [100000]
      (zusammen mit Marco Amelio)
    • Vorlesung: Modelltheorie [108000]
    • Vorlesung: Stable Groups (Logic III or Logic IV) [106004]
    • Vorlesung: Geometric Group Theory - Hyperbolic Groups and Small Cancellation Theory [104784]
      (zusammen mit Marco Amelio)

    Seminare

    • Seminar: Seminar zur Modelltheorie: Ampleness [104003]
      • [13.04 – 20.07.2026 | Mo., 10:00 – 12:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (zusammen mit Prof. Dr. Martin Hils und Dr. Benjamin Brück)
      • [16.04 – 23.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich]
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (zusammen mit Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
      • [16.10.2025 – 05.02.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Seminar: Elementare Zahlentheorie [100261]
      (zusammen mit Prof. Dr. Shirly Geffen)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Franziska Jahnke und Prof. Dr. Martin Hils)
    • Seminar: Topological and measurable full groups [108004]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska, Prof. David Kerr und Prof. Dr. Shirly Geffen)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Benjamin Brück)
    • Oberseminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (zusammen mit Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Benjamin Brück)

    Übungen

    • Übung: Übungen Hyperbolische Gruppen [104001]
      • [wöchentlich]
    • Übung: Übungen Stabile Gruppen [102001]
      • [13.10.2025 – 02.02.2026 | Mo., 12:00 – 14:00 Uhr | wöchentlich | M A 114 (SR 1D)]
    • Übung: Übungen Geometrische Gruppentheorie [100001]
      (zusammen mit Marco Amelio)
    • Übung: Übungen zur Modelltheorie [108001]
    • Übung: Tutorial Stable Groups [106005]

    Kolloquien

    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [26.09.2025 – 20.03.2026 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
      • [28.03 – 19.09.2025 | Fr., 16:00 – 18:00 Uhr | wöchentlich]
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)
    • Kolloquium: Kolloquium zur Mathematischen Logik
      (zusammen mit Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils und Dr. Stefan Hoffelner)

    Dr. Tingxiang Zou

     

    Lehre

    • Seminar: Seminar in Modelltheorie: Stetige Logik und Anwendungen [104798]
      (zusammen mit Prof. Dr. Martin Hils)
  • Arbeitsgruppen
    • Martin Hils
    • Franziska Jahnke
    • Aleksandra Kwiatkowska
    • Ralf D. Schindler
    • Katrin Tent
nach oben

Kontakt

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

Einsteinstraße 62
48149 Münster

Tel: +49 251-83-33-790
Fax: +49-251-83-33-078
matlogik@uni-muenster.de
 
wissen.leben
  • Impressum
  • Datenschutzhinweis
  • Barrierefreiheit

© 2025 Institut für Mathematische Logik und Grundlagenforschung