Lectures in Previous Terms

Winter 2023/24

• Mathematische Logik / Mathematical Logic (V3A5/F4A1) (Hieronymi)
• Hauptseminar Mathematische Logik - Das Auswahlaxiom (S2A2) (Krapf)
• Hauptseminar Angewandte Mathematische Logik (S2A4) (Koepke)
• Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) - Formalized Mathematics in Lean (van Doorn)
• Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) (Koepke)
  
• Oberseminar Logik (Hieronymi)
• Begleitseminar (S3G1)/Master thesis seminar (S5G1) (Hieronymi)

Summer 2023

• Einführung in die Mathematische Logik (V2A2) (Hieronymi)
• Unendlichkeit in den Grundlagen der Mathematik, Vertiefungsvorlesung fürs Lehramt (MB09) (Krapf)
• Advanced Topics in Mathematical Logic - Neostability and Independence relations (V5A7) (d'Elbée)
• Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) (Koepke)
• Oberseminar Logik (Hieronymi, d'Elbée)
• Begleitseminar (S3G1)/Master thesis seminar (S5G1) (Hieronymi)
• Graduate Seminar on Applied Logic (S4A6) - Applications of Tame Geometry (Hieronymi)

Winter 2022/23

• Advanced Mathematical Logic II (V4A8) - Tame Geometry (Hieronymi)
• Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) (Koepke)
• Oberseminar Logik (Hieronymi, d'Elbée)
• Begleitseminar (S3G1)/Master thesis seminar (S5G1) (Hieronymi)
• Graduate Seminar on Logic (S4A4) - Neostability (Hieronymi)

Summer 2022

• Practical Project in Mathematical Logic - Foundations and Implementations of Automated
  and Interactive Theorem Proving (P4A1), and Praktikum Mathematische Logik P2A1 (Koepke)

Winter 2021/22

• V4A7 - Advanced Mathematical Logic: Model Theory (Hieronymi)
• S4A4 - Graduate Seminar on Logic (Hieronymi)
• S2A2 - Hauptseminar Mathematische Logik (Hieronymi, Koepke)

Summer 2021

• V2A2 - Einführung in die Mathematische Logik (Schlicht)
• S2A2 - Hauptseminar Mathematische Logik - Formale Mathematik und Mengenlehre (Schlicht, Koepke)

Winter 2020/21

Practical Project in Mathematical Logic - Foundations and Implementations of Automated
and Interactive Theorem Proving (P4A1), and Praktikum Mathematische Logik P2A1 (Koepke)

Summer 2020

• S2A2 - Hauptseminar Mathematische Logik (Koepke)

Winter 2019/20

• V4A9 Models of Set Theory II (Holy)
• V2A2 Einführung in die Mathematische Logik (Koepke)
• S4A4 Graduate Seminar on Logic (Lücke)
  
• Oberseminar Mathematische Logik (Koepke, Holy, Lücke)
• P2A1 Praktikum Mathematische Logik/Practical Project in Mathematical Logic (P4A1) (Koepke)

Summer 2019

• Set Theory (V3A4) Lücke, Schlicht
• Hauptseminar Mathematische Logik (S2A2) Graduate Seminar on Logic (S4A4) Lücke, Schlicht
  
• Oberseminar Mathematische Logik Lücke, Schlicht

Winter term 2018/19

• V3A4/F4A1 Mengenlehre (Koepke, Lücke)
• S2A2 Hauptseminar Mathematische Logik (Koepke, Lücke)
  
• Oberseminar Mathematische Logik (Koepke, Lücke)
•  P2A1 Praktikum Mathematische Logik (Termin nach Absprache)

Sommer 2018

• V2A2 Einführung in die Mathematische Logik (Koepke, Lücke)
• S4A4 Graduate Seminar on Logic (Holy)
• Oberseminar Mathematische Logik (Koepke, Lücke)
•  P2A1 Praktikum Mathematische Logik (Termin nach Absprache)

Winter 2017/18

• V4A8 Models of Set Theory II (Koepke, Njegomir)
• V4A7 Advanced Mathematical Logic: Model Theory (Lücke,Schlicht)
• S4A4 Graduate Seminar on Set Theory (Koepke, Holy, Lücke, Schlicht)
• Oberseminar Mathematische Logik (Koepke, Lücke, Schlicht)
• P2A1 Praktikum Mathematische Logik (Termin nach Absprache)

Summer 2017

• V4A8 Models of Set Theory I. (Koepke, Lücke)
• MB02 Elemente der Mathematik (Koepke, Poguntke)
• S2A2 Hauptseminar Mathematische Logik / S4A4 Graduate seminar on Logic (Koepke, Schlicht)
• Oberseminar Mathematische Logik (Koepke, Lücke, Schlicht)
• P2A1 Praktikum Mathematische Logik

Winter 2016/17

• V3A4/F4A1 Mengenlehre / Set Theory (Koepke, Schlicht)
• MB02 Elemente der Mathematik (Koepke, Krapf)
• S2A2 Hauptseminar Mathematische Logik (Koepke, Lücke)
• Oberseminar Mathematische Logik (Koepke, Lücke, Schlicht)
• P2A1 Praktikum Mathematische Logik (Termin nach Absprache)

Summer 2016

• Einführung in die Mathematische Logik, Koepke, Lücke, Schlicht
• Oberseminar Mathematische Logik, Koepke, Lücke, Schlicht
• Begleitseminar zu Bachelorarbeit, Koepke, Holy, Lücke, Schlicht
• Advanced topics in mathematical logic, Lücke, Schlicht

Winter 2015/16

• Oberseminar Mathematische Logik, Koepke, Holy, Lücke
• Models of Set Theory II (V5A9) Koepke, Krapf
• Graduate Seminar on Logic (S4A4) Koepke, Lücke
• Hauptseminar Mathematische Logik (S2A2) Koepke, Dimitriou
• Begleitseminar zu Bachelorarbeit (S3G1) Koepke
• Praktikum Mathematische Logik (P2A1) Koepke, Dimitriou

Summer 2015

• Einführung in die Mathematische Logik (V2A2). Koepke, Holy
• Models of Set Theory I. (V4A8). Lücke
• Hauptseminar Mathematische Logik (S2A2) / Graduate Seminar on Set Theory (S4A5). Koepke, Holy
• Begleitseminar zu Bachelorarbeit (S3G1) Koepke, Holy, Lücke
• Oberseminar Mathematische Logik. Koepke, Holy, Lücke
• Arbeitsgemeinschaft zur formalen Mathematik. Koepke, Dimitriou
  

Winter 2014/15

• Set Theory (V3A4) Lücke, Schlicht
• Hauptseminar Mathematische Logik (S2A2) Graduate Seminar on Logic (S4A4) Lücke, Schlicht
  
• Oberseminar Mathematische Logik Lücke, Schlicht

Summer 2014

• Einführung in die Mathematische Logik (V2A2) Koepke
  
• Advanced Topics in Mathematical Logic (V5A7) Lücke, Schlicht
  
• Seminar zur Rekursionstheorie (S1G1) Koepke, Lücke, Schlicht
• Oberseminar Mathematische Logik Koepke, Lücke, Schlicht
• Hauptseminar Mathematische Logik (S2G2) Koepke, Krapf
  
• Bachelor-, Master-, Diplom-, and Ph.D.- seminar Koepke
  

Winter 2013/14

• Models of set Theory II (V4A9) Koepke, Schlicht
• Oberseminar Mathematische Logik Geschke, Koepke, Schlicht
• Graduate Seminar on Set Theory (S4A4) Koepke, Lücke, Schlicht
• Bachelor-, Master-, Diplom-, and Ph.D. seminar Geschke, Koepke
• Seminar formale Mathematik Koepke, Schröder
• Praktikum mathematische Logik

Summer 2013

• Models of Set Theory I (V3A4/F4A1) Koepke, Schlicht
• Oberseminar Mathematische Logik Geschke, Koepke, Schlicht
• Hauptseminar Mathematische Logik (S2A2) Koepke, Lücke
• Advanced Topics in Mathematical Logic - Descriptive Set Theory (V5A7) Geschke, Schlicht
• Bachelor-, Master-, Diplom-, and Ph.D. seminar Geschke, Koepke
• Graduate Seminar on Logic - Forcing idealized Geschke
• Seminar formale Mathematik Koepke, Schroeder

Winter 2012/13

• Set Theory (V3A4/F4A1) Koepke, Schlicht
• Oberseminar Mathematische Logik Geschke, Koepke, Schlicht
• Hauptseminar Mathematische Logik (S2A2) Koepke, Cramer, Lücke
• Advanced Topics in Mathematical Logic - Model Theory (V5A7) Geschke
• Bachelor-, Master-, Diplom-, and Ph.D. seminar Geschke, Koepke
• Seminar Algebra, Geometrie, Zahlentheorie, Koepke,Schlicht
• Seminar formale Mathematik Koepke, Schröder
• Praktikum mathematische Logik

Summer 2012

• Mathematische Logik I (V5A3) Koepke, Lücke
• Mathematik für Physiker und Physikerinnen II Geschke
• Selected topics in mathematical logic (V5A5) Schlicht
• Oberseminar Mathematische Logik Geschke, Koepke, Schlicht
• Graduate seminar on set theory: Proper forcing (S4A4) Koepke, Schlicht, Schrittesser, Lücke
• Hauptseminar und Graduate seminar: Nonstandard Analysis (S4A3/S2A2) Geschke
• Bachelor-, Master-, Diplom-, and Ph.D. seminar Geschke, Koepke
• Seminar formale Mathematik Koepke, Schröder
• Praktikum mathematische Logik (P2A1) Koepke

Winter 2011/12

• Models of set theory II (V5A3) Geschke
• Oberseminar Mathematische Logik Koepke, Geschke, Schlicht
• Graduate seminar on set theory: Stationary tower forcing (S4A4) Koepke, Schlicht, Schrittesser
• Bachelor-, Master-, Diplom-, and Ph.D. seminar Geschke, Koepke
• Mathematik für Physiker I Koepke, Räsch

Summer 2011

• Models of set theory I (V4A4) (Geschke)
• Higher set theory (V4A3): Classical and ordinal computability (Koepke)
• Graduate Seminar on Set Theory (S4A4): Boolean ultrapowers (Koepke, Schlicht)
• Oberseminar Mathematische Logik (Geschke, Koepke, Schlicht)
• Praktikum mathematische Logic (P2A1) Practical project in mathematical Logic (Koepke)
• Seminar (S1G1): Kurven in der Euklidischen Ebene (Koepke, Schlicht)

Winter 2010/11

• Mengenlehre (V2A5), Geschke, Carl
• Higher set theory (V4A3), Koepke, Dimitriou
• Oberseminar Koepke, Geschke, Schlicht
• Graduate seminar on set theory (S4A4), Geschke, Schlicht
• Hauptseminar mathematische Logik (S2A2)/ Graduate seminar on logic (S4A3), Koepke, Carl, Schlicht
• Formale Mathematik
• Graduate seminar on logic (S4A3), Saxena

Summer 2010:

• Mathematische Logik (V2A4) Geschke, Irrgang
• Graduate Seminar on Logic (S4A3) Geschke, Irrgang, Schlicht
• Oberseminar - Advanced logic seminar Geschke, Schlicht
• Seminar Mathematische Logik - Rekursionstheorie (S1G1) Irrgang, Carl
• Master thesis seminar Geschke

Winter 2009/10:

• Models of set theory II
• Advanced topics in mathematical logic - model theory
• Hauptseminar mathematische Logik
• Oberseminar mathematische Logik / Advanced seminar on mathematical logic
• Graduate seminar on set theory - large cardinals and forcing
• Graduate seminar on logic

Summer 2009:

• Models of set theory I
• Advanced topics in mathematical logic - infinite Ramsey theory
• Hauptseminar mathematische Logik
• Oberseminar mathematische Logik
• Graduate logic seminar
• Master thesis seminar
• Seminar formale Mathematik

Winter 2008/09:

• Mengenlehre (V2A5), Koepke, Irrgang
• Higher set theory (V4A3), Koepke, Irrgang
• Advanced topics in mathematical logic - two cardinal combinatorics (V5A6), Irrgang
• Oberseminar (S4A3), Koepke, Schlicht
• Diplomandenseminar - Master thesis seminar, Koepke
• Graduate seminar on logic (S4A3), Koepke
• Seminar Formale Mathematik, Koepke, Schröder
• Hauptseminar Mathematische Logik (S2A2), Koepke, Carl

Summer 2008:

• Mathematische Logik (V2A4) Koepke, Irrgang
• Seminar über Boolesche Algebren (S1G1) Koepke, Veldman
• Graduate Seminar on Logic (S4A3) Koepke, Dimitriou
• Oberseminar - Advanced logic seminar (S4A3) Koepke
• Formal mathematics seminar (every fortnight) Koepke
• Master thesis seminar Koepke

Winter 2007/08:

• Models of Set Theory II (Koepke)
• Advanced Topics in Mathematical Logic - Nonstandard Analysis (Irrgang)
• Graduate Seminar on Set Theory (Koepke, Irrgang)
• Anwendungen von Methoden aus der Logik in der Algebra (Strüngmann)
• Diplomandenseminar (Koepke)
• Oberseminar Mathematische Logik (Koepke)

Summer 2007:

• Mengenlehre II (Koepke)
• Seminar Mengenlehre (Irrgang)
• Arbeitsgemeinschaft Mengenlehre (Irrgang)
• Diplomandenseminar (Koepke)
• Oberseminar Mathematische Logik (Koepke)
• Research Seminar Formal Mathematics (Koepke, Mints, Schröder, Veldman)

Winter 2006/07:

• Mengenlehre I (Koepke)
• Seminar zur Mathematischen Logik (Koepke, Räsch)
• Arbeitsgemeinschaft zur Mathematischen Logik (Irrgang, Veldman)
• Diplomandenseminar (Koepke, Irrgang)
• Oberseminar Mathematische Logik (Koepke)

Summer 2006:

• Einführung in die Mathematische Logik (Koepke, Irrgang)
• Logik und diskrete Strukturen (Koepke, Welter)
• Seminar zur Nonstandard Analysis und Anwendungen (Albeverio, Irrgang)
• Seminar zur Mengenlehre und Diplomandenseminar (Koepke)
• Oberseminar Mathematische Logik (Koepke)

Winter 2005/06:

• Mengenlehre III (Irrgang)
• Seminar Mengenlehre (Koepke,Veldman)
• Blockseminar Mengenlehre in Amsterdam (Koepke, Löwe, Dimitriou)
• Oberseminar Mathematische Logik (Irrgang)

Summer 2005:

• Mengenlehre II (Koepke)
  
• Mathematik für Informatiker IIA, Logik und diskrete Strukturen (Koepke)
  
• Diplomandenseminar (Koepke)
  
• Seminar zur Mengenlehre (Koepke,Irrgang)
  
• Oberseminar Mathematische Logik (Koepke, Irrgang)
  
• Mini Course Forcing by Jinrich Zapletal Jul 1-8, 2005.

Winter 2004/05:

• Mengenlehre I (Koepke)
• Mathematik für Informatiker IA (Koepke)
  
• Diplomandenseminar (Koepke)
  
• Seminar Modelltheorie (Seminar zur Mengenlehre) (Koepke)
  
• Oberseminar Mathematische Logik (Koepke, Irrgang)
  

Summer 2004:

• Einfhrung in die Mathematische Logik (Koepke)
  
• Mathematik für Informatiker IIA (Koepke, Löwe)
  
• Infinite Games (Löwe)
  
• Seminar zur Mengenlehre (Seminar Set Theory; Koepke, Schindler, Irrgang)
  Blockseminar
• AG Mathematische Logik (Koepke, Irrgang)
  
• AG Texte zu Wissen und Wissenserwerb in der Mathematik (Löwe, Müller)
  
• Oberseminar Mathematische Logik (Koepke, Löwe, Irrgang)
  

Winter 2003/04:

• Vorlesung: Mathematik für Informatiker IA (Koepke) (Course: Math for CS IA)
  Übungen: Koepke, Irrgang
• Seminar zur Mengenlehre (Koepke) (Seminar Set Theory)
  
• AG Kernmodelle
• Oberseminar Mathematische Logik
  

Summer 2003:

• Vorlesung: Mengenlehre II (Koepke) (Course: Set Theory II)
  
• Seminar zur Mengenlehre: Modelle der Mengenlehre (Koepke) (Seminar Models of Set Theory)
  
• Diplomandenseminar
  
• Oberseminar Mathematische Logik
  
• Arbeitsgemeinschaft Konstruktibilitätstheorie (Koepke, Irrgang)
  

Winter 2002/2003:

• Vorlesung: Mengenlehre I (Koepke) (Course: Set Theory I)
  
• Seminar zur Logik: Nichtstandardanalysis (Koepke) (Seminar Nonstandard Analysis)
  
• Arbeitsgemeinschaft: Ausgewählte Texte aus der Philosophie der Mathematik (Löwe)
  Thema: Was ist Mathematisches Wissen?
  
• Diplomandenseminar
  
• Oberseminar Mathematische Logik
  

Summer 2002:

• Vorlesung: Einfhrung in die Mathematische Logik (Koepke) (Course: Introduction to Mathematical Logic)
  Übungen: Oliver Lorscheid;Torsten Langer
• Vorlesung: Berechenbarkeitstheorie (Welch) (Course: Computability Theory)
  Übungen: Gido Scharfenberger
• Course: Determinacy and Cardinal Invariants (Zapletal)
  
• Seminar: Logik (Forcing) (Koepke & Löwe) (Seminar: Logic - Forcing)
  Blockveranstaltung (7.-9.6.2002 in Mnster)
• Seminar: Philosophie der Mathematik (Bromand & Löwe) (Seminar: Philosophy of Mathematics)
• Seminar für Diplomanden und Staatsexamenskandidaten
  
• Oberseminar Mengenlehre
  

Winter 2001/2002:

• This lecture was announced but cancelled:
  Vorlesung: Feinstruktur & Kernmodelle (Koepke) (Course: Fine Structure & Core Models)
  
• Vorlesung: Mengenlehre & Logik III (Koepke) (Course: Set Theory & Logic III)
  (Die Vorlesung war als Vorlesung von Benedikt Löwe angekündigt und wird wegen einer Vorlesungsvertretung in Münster von Peter Koepke übernommen.)
• Doppel-Seminar: Mengenlehre & Logik / Mathematik & Informatik (Seminar: Set Theory & Logic / Seminar: Mathematics & Computer Science)
• Seminar für Diplomanden und Staatsexamenskandidaten
• Oberseminar Mengenlehre

Summer 2001:

• Vorlesung: Mengenlehre und Logik II (Löwe) (Course: Set Theory and Logic II)
  
• Arbeitsgemeinschaft Modelltheorie
• Seminar für Diplomanden und Staatsexamenskandidaten
  
• Oberseminar Mengenlehre
  

Winter 2000/2001:

• Short Course: AD+ (Richard Ketchersid)
• Koepke: Vorlesung: Einführung in die Mathematische Logik (Course: Introduction to Mathematical Logic)
• Seminar über Kernmodelle und Deskriptive Mengenlehre (Core Models and Descriptive Set Theory)
• Seminar für Diplomanden und Staatsexamenskandidaten
  
• Tutorium zur Vorbereitung auf die Staatsexamensprüfung im Bereich der Grundlagenmathematik,
  
• Oberseminar Mengenlehre
  Including: Lecture Series by Vladimir Kanovei in the Oberseminar: "Descriptive Set Theory of Equivalence Relations"

Summer 2000:

• Koepke: Vorlesung: Kernmodelle (Course: Core Models)
• Proseminar: Das Banach-Tarski-Paradoxon
• Seminar: Große Kardinalzahlen (Large Cardinals)
• Seminar: Algebra und Modelltheorie
• Tutorium zur Vorbereitung auf die Staatsexamensprüfung im Bereich der Grundlagenmathematik
• Oberseminar Mengenlehre
• Short Course: Determinacy and the Wadge Hierarchy (Alessandro Andretta)

Winter 1999/2000:

• Koepke: Vorlesung: Feinstrukturtheorie (Course: Fine Structure Theory)
• Koepke: Seminar über Mengenlehre (Seminar on Set Theory)
• Arbeitsgemeinschaft Feinstrukturtheorie
• Seminar für Diplomanden und Staatsexamenskandidaten
• Oberseminar über Mengenlehre
• Tutorium zur Vorbereitung auf die Staatsexamensprüfung im Bereich der Grundlagenmathematik

Summer 1999:

• Vorlesung: Axiomatische Mengenlehre (Course: Constructibility)
• Seminar: Kombinatorische Aspekte der Mengenlehre (Combinatorial Aspects of Set Theory)
• Seminar für DiplomandInnen und StaatsexamenskandidatInnen
• Oberseminar über Mengenlehre
• Tutorium zur Vorbereitung auf die Staatsexamensprüfung im Bereich der Grundlagenmathematik

Winter 1998/99:

• Koepke: Einführung in die Mathematische Logik (Introduction to Mathematical Logic) [Script as below]
• Mildenberger: Iteriertes Forcing (Iterated Forcing)

Summer 1998:

• Proseminar Mathematische Logik: Mengenlehre und Nichtstandard-Analysis

Winter 1997/98:

• Koepke: Deskriptive Mengenlehre (Descriptive Set Theory)
• Seminar Mengenlehre: Deskriptive Mengenlehre

Summer 1997:

• Mildenberger: Modelle der Mengenlehre(Models of Set Theory)

Winter 1996/97:

• Koepke: Die Feinstruktur der Konstruktiblen Hierarchie mit Beschränkten Skolem-Funktionen (The Fine Structure of the Constructible Hierarchy with Restricted Skolem-Functions)
• Schindler: Mengenlehre und Mathematische Logik (Set Theory and Mathematical Logic) [Script as below]
• Seminar Mengenlehre: Martins Axiom

Summer 1996:

• Koepke: Beweistheorie (Proof Theory)
• Ucsnay: Einführung in die Mathematische Logik II (Introduction to Mathematical Logic II)
• Proseminar Mathematische Logik: Zahlen

Winter 1995/96:

• Koepke: Deskriptive Mengenlehre (Descriptive Set Theory)
• Ucsnay: Einführung in die Mathematische Logik I (Introduction to Mathematical Logic I)

Summer 1995:

• Koepke: Modelle der Mengenlehre (Models of Set Theory)
  Lecture notes (in german) (dvi-file) (PostScript-file)

Winter 1994/95:

• Koepke: Mengenlehre (Set Theory)
  Lecture notes (in german) (dvi-file) (PostScript-file)

Back