Universität Münster
Department for Mathematical Logic and Foundational Research
  • zum Inhalt
  • zur Hauptnavigation
  • zur Zielgruppennavigation
  • zur Subnavigation
  • de
  • en
  • Home
  • Academics
  • Research
  • The Department
  • Martin Hils
  • Franziska Jahnke
  • Aleksandra Kwiatkowska
  • Ralf Schindler
  • Katrin Tent
  • Home
    • Academics
  • Lecture Notes
  • Theses
  • Current Semester

    Dr. Benjamin Brück

     

    Teaching

    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (in cooperation with Prof. Dr. Katrin Tent and Prof. Dr. Martin Hils)
      • [16th Apr – 23rd Jul 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly]
    • Lecture: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (in cooperation with Prof. Dr. Katrin Tent)
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
    • Lecture: Logische Grundlagen [102013]
      • [15th Oct 2025 – 28th Jan 2026 | Wed, 8.00 a. m. – 10.00 a. m. | weekly | M B 5 (M 5)]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke and Prof. Dr. Martin Hils)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]

    Prof. Dr. Martin Hils

     

    Teaching

    • Lecture: Modelltheorie bewerteter Körper [104004]
      • [14th Apr – 14th Jul 2026 | Tue, 4.00 p. m. – 6.00 p. m. | weekly | M B 6 (M 6)]
      • [15th Apr – 15th Jul 2026 | Wed, 4.00 p. m. – 6.00 p. m. | weekly | M B 6 (M 6)]
    • Seminar: Seminar zur Modelltheorie von PAC-Körpern [104006]
      • [14th Apr – 21st Jul 2026 | Tue, 4.00 p. m. – 6.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (in cooperation with Prof. Dr. Katrin Tent and Dr. Benjamin Brück)
      • [16th Apr – 23rd Jul 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly]
    • Practice: Übungen zur Vorlesung Modelltheorie bewerteter Körper [104005]
      • [Wed, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Lecture: Modelltheorie [102010]
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 4.00 p. m. – 6.00 p. m. | weekly | M B 4 (M 4)]
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 4.00 p. m. – 6.00 p. m. | weekly | M B 4 (M 4)]
    • Seminar: Modelltheorie differentieller Körper [102012]
      • [14th Oct 2025 – 3rd Feb 2026 | Tue, 2.00 p. m. – 4.00 p. m. | weekly]
      • [Tue, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 203]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke and Dr. Benjamin Brück)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Practice: Übungen zur Modelltheorie [102011]
      • [14th Oct 2025 – 20th Jan 2026 | Tue, 10.00 a. m. – 12.00 p. m. | weekly]
      • [Wed, 12.00 p. m. – 2.00 p. m. | weekly | SRZ 205]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]

    Prof. Franziska Jahnke

     

    Teaching

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Lecture: Berechenbarkeitstheorie [102004]
      • [20th Oct 2025 – 2nd Feb 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 3 (M 3)]
      • [23rd Oct 2025 – 5th Feb 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 3 (M 3)]
    • Seminar: Beinahe-Mathematik [102006]
      (in cooperation with Prof. Dr. Thomas Nikolaus)
      • [14th Oct 2025 – 3rd Feb 2026 | Tue, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils and Dr. Benjamin Brück)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Practice: Übungen zur Berechenbarkeitstheorie [102005]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 8.00 a. m. – 10.00 a. m. | weekly | M A 114 (SR 1D)]
      • [17th Oct 2025 – 6th Feb 2026 | Fri, 8.00 a. m. – 10.00 a. m. | weekly | M A 114 (SR 1D)]
      • [17th Oct 2025 – 6th Feb 2026 | Fri, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
      • [17th Oct 2025 – 6th Feb 2026 | Fri, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]

    Jun.-Prof. Aleksandra Kwiatkowska

     

    Teaching

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]

    Prof. Dr. Ralf-Dieter Schindler

     

    Teaching

    • Lecture: Logik I [104007]
      • [13th Apr – 13th Jul 2026 | Mon, 2.00 p. m. – 4.00 p. m. | weekly | M B 5 (M 5)]
      • [16th Apr – 16th Jul 2026 | Thu, 2.00 p. m. – 4.00 p. m. | weekly | M B 5 (M 5)]
    • Seminar: Seminar zur Mengenlehre [104009]
      • [14th Apr – 21st Jul 2026 | Tue, 2.00 p. m. – 4.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zur Mengenlehre [104010]
      • [15th Apr – 22nd Jul 2026 | Wed, 2.00 p. m. – 4.00 p. m. | weekly]
    • Practice: Übungen zur Logik I [104008]
      • [22nd Apr – 22nd Jul 2026 | Wed, 8.00 a. m. – 10.00 a. m. | weekly]
    • Lecture: Logik 3 [102007]
      • [13th Oct 2025 – 26th Jan 2026 | Mon, 2.00 p. m. – 4.00 p. m. | weekly | M B 6 (M 6)]
      • [16th Oct 2025 – 29th Jan 2026 | Thu, 2.00 p. m. – 4.00 p. m. | weekly | M B 6 (M 6)]
    • Seminar: Seminar zur Logik [102008]
      • [14th Oct 2025 – 3rd Feb 2026 | Tue, 2.00 p. m. – 4.00 p. m. | weekly]
      • [Mon, 4.00 p. m. – 6.00 p. m. | weekly]
      • [Tue, 4.00 p. m. – 6.00 p. m. | weekly | M A 114 (SR 1D)]
    • Advanced seminar: Oberseminar zur Mengenlehre [102009]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 2.00 p. m. – 4.00 p. m. | weekly | M A 114 (SR 1D)]
    • Practice: Übungen Logik 3 [102014]
      • [20th Oct 2025 – 2nd Feb 2026 | Mon, 2.00 p. m. – 4.00 p. m. | weekly]
      • [Tue, 12.00 p. m. – 2.00 p. m. | weekly | SRZ 202]

    Prof. Dr. Dr. Katrin Tent

     

    Teaching

    • Lecture: Geometrische Gruppentheorie II (Hyperbolic groups and small cancellation theory) [104000]
      • [13th Apr – 20th Jul 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
      • [16th Apr – 23rd Jul 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
    • Seminar: Seminar zur Modelltheorie: Ampleness [104003]
      • [13th Apr – 20th Jul 2026 | Mon, 10.00 a. m. – 12.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (in cooperation with Prof. Dr. Martin Hils and Dr. Benjamin Brück)
      • [16th Apr – 23rd Jul 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly]
    • Practice: Übungen Hyperbolische Gruppen [104001]
      • [weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Lecture: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (in cooperation with Dr. Benjamin Brück)
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Benjamin Brück)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Practice: Übungen Stabile Gruppen [102001]
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
  • All semesters

    Dr. Benjamin Brück

     

    Teaching

    Lectures

    • Lecture: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (in cooperation with Prof. Dr. Katrin Tent)
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
    • Lecture: Logische Grundlagen [102013]
      • [15th Oct 2025 – 28th Jan 2026 | Wed, 8.00 a. m. – 10.00 a. m. | weekly | M B 5 (M 5)]
    • Lecture: Logische Grundlagen [104793]

    Seminars

    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (in cooperation with Prof. Dr. Katrin Tent and Prof. Dr. Martin Hils)
      • [16th Apr – 23rd Jul 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke and Prof. Dr. Martin Hils)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)

    Prof. Dr. Martin Hils

     

    Teaching

    • Lectures
    • Seminars
    • Practices
    • Colloquia
     

    Lectures

    • Lecture: Modelltheorie bewerteter Körper [104004]
      • [14th Apr – 14th Jul 2026 | Tue, 4.00 p. m. – 6.00 p. m. | weekly | M B 6 (M 6)]
      • [15th Apr – 15th Jul 2026 | Wed, 4.00 p. m. – 6.00 p. m. | weekly | M B 6 (M 6)]
    • Lecture: Modelltheorie [102010]
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 4.00 p. m. – 6.00 p. m. | weekly | M B 4 (M 4)]
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 4.00 p. m. – 6.00 p. m. | weekly | M B 4 (M 4)]
    • Lecture: Logik I [100007]
    • Lecture: Logische Grundlagen [108008]
    • Lecture: Logik IV: Modelltheorie pseudoendlicher Körper [108010]
    • Lecture: Logik I [106000]
    • Lecture: Berechenbarkeitstheorie [104794]

    Seminars

    • Seminar: Seminar zur Modelltheorie von PAC-Körpern [104006]
      • [14th Apr – 21st Jul 2026 | Tue, 4.00 p. m. – 6.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (in cooperation with Prof. Dr. Katrin Tent and Dr. Benjamin Brück)
      • [16th Apr – 23rd Jul 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly]
    • Seminar: Modelltheorie differentieller Körper [102012]
      • [14th Oct 2025 – 3rd Feb 2026 | Tue, 2.00 p. m. – 4.00 p. m. | weekly]
      • [Tue, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 203]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke and Dr. Benjamin Brück)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Seminar: Seminar Modelle der Peano-Arithmetik [100005]
      (in cooperation with Prof. Dr. Ralf-Dieter Schindler)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Franziska Jahnke)
    • Seminar: Modelltheorie des Witt-Frobenius-Automorphismus [108009]
      (in cooperation with Simone Ramello)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Benjamin Brück)
    • Seminar: Seminar Modelltheorie und Kombinatorik [106002]
      (in cooperation with Robert Sullivan)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Benjamin Brück)
    • Seminar: Seminar in Modelltheorie: Stetige Logik und Anwendungen [104798]
      (in cooperation with Tingxiang Zou)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Benjamin Brück)

    Practices

    • Practice: Übungen zur Vorlesung Modelltheorie bewerteter Körper [104005]
      • [Wed, 4.00 p. m. – 6.00 p. m. | weekly]
    • Practice: Übungen zur Modelltheorie [102011]
      • [14th Oct 2025 – 20th Jan 2026 | Tue, 10.00 a. m. – 12.00 p. m. | weekly]
      • [Wed, 12.00 p. m. – 2.00 p. m. | weekly | SRZ 205]
    • Practice: Übungen zur Logik I [100008]
    • Practice: Übungen zur Logik I [106001]
    • Practice: Übungen zur Berechenbarkeitstheorie [104795]
      (in cooperation with Dr. Stefan Hoffelner)

    Colloquia

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium über Geschichte und Didaktik der Mathematik [104182]
      (in cooperation with Prof. Dr. Matthias Löwe, Prof. Dr. Martin Stein, apl. Prof.Michael Joachim and Prof. Dr. Gilbert Greefrath)

    Dr. Stefan Hoffelner

     

    Teaching

    Seminars

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

    Practice

    • Practice: Übungen zur Berechenbarkeitstheorie [104795]
      (in cooperation with Prof. Dr. Martin Hils)

    Colloquia

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)

    Jun.-Prof. Franziska Jahnke

     

    Teaching

    Lectures

    • Lecture: Berechenbarkeitstheorie [102004]
      • [20th Oct 2025 – 2nd Feb 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 3 (M 3)]
      • [23rd Oct 2025 – 5th Feb 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 3 (M 3)]
    • Lecture: Einführung in die Algebra [100010]

    Seminars

    • Seminar: Beinahe-Mathematik [102006]
      (in cooperation with Prof. Dr. Thomas Nikolaus)
      • [14th Oct 2025 – 3rd Feb 2026 | Tue, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Katrin Tent, Prof. Dr. Martin Hils and Dr. Benjamin Brück)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Seminar: Einführung in die Stabilitätstheorie [100009]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (in cooperation with Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska and Prof. Dr. Martin Hils)

    Practices

    • Practice: Übungen zur Berechenbarkeitstheorie [102005]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 8.00 a. m. – 10.00 a. m. | weekly | M A 114 (SR 1D)]
      • [17th Oct 2025 – 6th Feb 2026 | Fri, 8.00 a. m. – 10.00 a. m. | weekly | M A 114 (SR 1D)]
      • [17th Oct 2025 – 6th Feb 2026 | Fri, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
      • [17th Oct 2025 – 6th Feb 2026 | Fri, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
    • Practice: Übungen zur Einführung in die Algebra [100011]
      (in cooperation with Margarete Ketelsen)

    Colloquia

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)

    Jun.-Prof. Aleksandra Kwiatkowska

     

    Teaching

    Lectures

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

    Seminars

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

    Practices

    • Practice: Tutorial Descriptive Set Theory [108003]
    • Practice: Tutorial Logic 3: Abstract Topological Dynamics and Descriptive Set Theory [104789]
      (in cooperation with Robert Sullivan)

    Colloquia

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)

    Prof. Dr. Ralf-Dieter Schindler

     

    Teaching

    Lectures

    • Lecture: Logik I [104007]
      • [13th Apr – 13th Jul 2026 | Mon, 2.00 p. m. – 4.00 p. m. | weekly | M B 5 (M 5)]
      • [16th Apr – 16th Jul 2026 | Thu, 2.00 p. m. – 4.00 p. m. | weekly | M B 5 (M 5)]
    • Lecture: Logik 3 [102007]
      • [13th Oct 2025 – 26th Jan 2026 | Mon, 2.00 p. m. – 4.00 p. m. | weekly | M B 6 (M 6)]
      • [16th Oct 2025 – 29th Jan 2026 | Thu, 2.00 p. m. – 4.00 p. m. | weekly | M B 6 (M 6)]
    • Lecture: Logik 3 / 4: Mengenlehre [100003]
    • Lecture: Berechenbarkeitstheorie [108006]
    • Lecture: Logik IV: Ausgewählte Themen aus der Mengenlehre [106008]
    • Lecture: Logik II [104791]

    Seminars

    • Seminar: Seminar zur Mengenlehre [104009]
      • [14th Apr – 21st Jul 2026 | Tue, 2.00 p. m. – 4.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zur Mengenlehre [104010]
      • [15th Apr – 22nd Jul 2026 | Wed, 2.00 p. m. – 4.00 p. m. | weekly]
    • Seminar: Seminar zur Logik [102008]
      • [14th Oct 2025 – 3rd Feb 2026 | Tue, 2.00 p. m. – 4.00 p. m. | weekly]
      • [Mon, 4.00 p. m. – 6.00 p. m. | weekly]
      • [Tue, 4.00 p. m. – 6.00 p. m. | weekly | M A 114 (SR 1D)]
    • Advanced seminar: Oberseminar zur Mengenlehre [102009]
      • [15th Oct 2025 – 4th Feb 2026 | Wed, 2.00 p. m. – 4.00 p. m. | weekly | M A 114 (SR 1D)]
    • Seminar: Seminar Modelle der Peano-Arithmetik [100005]
      (in cooperation with Prof. Dr. Martin Hils)
    • Advanced seminar: Advanced Seminar on Set Theory [100006]
    • Seminar: Seminar on Set Theory [108012]
    • Advanced seminar: Advanced Seminar on Set Theory [108011]
    • Seminar: Seminar on Set Theory [106006]
    • Advanced seminar: Advanced Seminar on Set Theory [106007]
    • Seminar: Modern techniques in combinatorial set theory [104796]
      (in cooperation with Dr. Stefan Hoffelner)
    • Advanced seminar: Oberseminar Mengenlehre [104790]
      (in cooperation with Dr. Stefan Hoffelner)

    Practices

    • Practice: Übungen zur Logik I [104008]
      • [22nd Apr – 22nd Jul 2026 | Wed, 8.00 a. m. – 10.00 a. m. | weekly]
    • Practice: Übungen Logik 3 [102014]
      • [20th Oct 2025 – 2nd Feb 2026 | Mon, 2.00 p. m. – 4.00 p. m. | weekly]
      • [Tue, 12.00 p. m. – 2.00 p. m. | weekly | SRZ 202]
    • Practice: Übungen zur Logik 3 / 4 [100004]
      (in cooperation with Taichi Yasuda)
    • Practice: Übungen zur Berechenbarkeitstheorie [108007]
    • Practice: Übungen zur Vorlesung Logik II - Einführung in die Mengenlehre [104792]

    Jun.-Prof. Farmer Schlutzenberg

     

    Teaching

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Dr. Martin Bays, Prof. Dr. Katrin Tent, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)

    Dr. Robert Sullivan

     

    Teaching

    Seminar

    • Seminar: Seminar Modelltheorie und Kombinatorik [106002]
      (in cooperation with Prof. Dr. Martin Hils)

    Practice

    • Practice: Tutorial Logic 3: Abstract Topological Dynamics and Descriptive Set Theory [104789]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska)

    Prof. Dr. Dr. Katrin Tent

     

    Teaching

    • Lectures
    • Seminars
    • Practices
    • Colloquia
     

    Lectures

    • Lecture: Geometrische Gruppentheorie II (Hyperbolic groups and small cancellation theory) [104000]
      • [13th Apr – 20th Jul 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
      • [16th Apr – 23rd Jul 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
    • Lecture: Stabile Gruppen (Logik III oder Logik IV) [102000]
      (in cooperation with Dr. Benjamin Brück)
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 8.00 a. m. – 10.00 a. m. | weekly | M B 6 (M 6)]
    • Lecture: Geometrische Gruppentheorie [100000]
      (in cooperation with Marco Amelio)
    • Lecture: Modelltheorie [108000]
    • Lecture: Stable Groups (Logic III or Logic IV) [106004]
    • Lecture: Geometric Group Theory - Hyperbolic Groups and Small Cancellation Theory [104784]
      (in cooperation with Marco Amelio)

    Seminars

    • Seminar: Seminar zur Modelltheorie: Ampleness [104003]
      • [13th Apr – 20th Jul 2026 | Mon, 10.00 a. m. – 12.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104002]
      (in cooperation with Prof. Dr. Martin Hils and Dr. Benjamin Brück)
      • [16th Apr – 23rd Jul 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly]
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [102002]
      (in cooperation with Prof. Dr. Franziska Jahnke, Prof. Dr. Martin Hils and Dr. Benjamin Brück)
      • [16th Oct 2025 – 5th Feb 2026 | Thu, 10.00 a. m. – 12.00 p. m. | weekly | M A 114 (SR 1D)]
    • Seminar: Elementare Zahlentheorie [100261]
      (in cooperation with Prof. Dr. Shirly Geffen)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [100002]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Franziska Jahnke and Prof. Dr. Martin Hils)
    • Seminar: Topological and measurable full groups [108004]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska, Prof. David Kerr and Prof. Dr. Shirly Geffen)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [108005]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Benjamin Brück)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [106009]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Benjamin Brück)
    • Advanced seminar: Oberseminar zu Modelltheorie und Gruppen [104799]
      (in cooperation with Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Benjamin Brück)

    Practices

    • Practice: Übungen Hyperbolische Gruppen [104001]
      • [weekly]
    • Practice: Übungen Stabile Gruppen [102001]
      • [13th Oct 2025 – 2nd Feb 2026 | Mon, 12.00 p. m. – 2.00 p. m. | weekly | M A 114 (SR 1D)]
    • Practice: Übungen Geometrische Gruppentheorie [100001]
      (in cooperation with Marco Amelio)
    • Practice: Übungen zur Modelltheorie [108001]
    • Practice: Tutorial Stable Groups [106005]

    Colloquia

    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [26th Sep 2025 – 20th Mar 2026 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
      • [28th Mar – 19th Sep 2025 | Fri, 4.00 p. m. – 6.00 p. m. | weekly]
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)
    • Colloquium: Kolloquium zur Mathematischen Logik
      (in cooperation with Jun.-Prof.Farmer Schlutzenberg, Dr. Martin Bays, Prof. Dr. Franziska Jahnke, Jun.-Prof.Aleksandra Kwiatkowska, Prof. Dr. Martin Hils and Dr. Stefan Hoffelner)

    Dr. Tingxiang Zou

     

    Teaching

    • Seminar: Seminar in Modelltheorie: Stetige Logik und Anwendungen [104798]
      (in cooperation with Prof. Dr. Martin Hils)
  • Workgroups
    • Martin Hils
    • Franziska Jahnke
    • Aleksandra Kwiatkowska
    • Ralf D. Schindler
    • Katrin Tent
Top of page

Contact

University of 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
 
living.knowledge
  • Privacy Statement
  • Accessibility

© 2025