Benedikt Löwe: Past teaching.

Teaching at Universität Hamburg (since 2005)

• Proseminar Grundbegriffe der Mathematischen Logik und Modelltheorie (Wintersemester 2005/06)
• Proseminar Naive Mengenlehre (Sommersemester 2006)
• Proseminar Mathematische Modallogik (Wintersemester 2006/07)
• Proseminar Mengentheoretische Grundlagen des Zahlsystems (Sommersemester 2007)
• Proseminar Grundlagen der Nichtstandard-Analysis (Wintersemester 2007/08)
• Vorlesung Naive Mengenlehre (Sommersemester 2008)
• Seminar Große Kardinalzahlen (Wintersemester 2008/09)
• Proseminar Mengenlehre (Sommersemester 2009)
• Seminar Große Kardinalzahlen (Wintersemester 2009/2010)
• Seminar Mathematische Konsequenzen großer Kardinalzahlen (Sommersemester 2010)
• Proseminar Grundlagen der Mathematischen Logik und Modelltheorie (Wintersemester 2010/11)
• Seminar Weiterführende Themen aus der Mathematischen Logik und Modelltheorie (Sommersemester 2011)
• Seminar Unabhängigkeitsresultate in der Mengenlehre (Wintersemester 2011/12)
• Proseminar Set Theory (Sommersemester 2012)
• Vorlesung Berechenbarkeitstheorie (Wintersemester 2012/13)
• Seminar Philosophie der Mathematik (Wintersemester 2012/13)
• Proseminar Grundlagen der Mathematischen Logik und Modelltheorie (Sommersemester 2013)
• Vorlesung Axiomatische Mengenlehre (Wintersemester 2013/14)
• Seminar Weiterführende Themen aus der mathematischen Logik und Modelltheorie (Wintersemester 2013/14)
• Seminar Große Kardinalzahlen (Sommersemester 2014)
• Seminar Weiterführende Themen aus der Mengenlehre (Wintersemester 2014/15)
• Vorlesung Einführung in die Mathematische Logik und Modelltheorie (Sommersemester 2015)
• Seminar Fortgeschrittene Themen aus der Mengenlehre (Sommersemester 2015)
• Seminar Modelltheorie (Wintersemester 2015/16)
• Seminar Fortgeschrittene Mengenlehre (Sommersemester 2016)
• Proseminar Grundlagen der Berechenbarkeit (Wintersemester 2016/17)
• Vorlesung Vertiefung Mengenlehre (Sommersemester 2017)
• Seminar Modelltheorie (Sommersemester 2017)
• Seminar Deskriptive Mengenlehre (Wintersemester 2017/18)
• Vorlesung Mathematische Logik & Mengenlehre (Sommersemester 2018)
• Vorlesung Vertiefung: Algebraische Strukturen (Sommersemester 2018)
• Seminar Modelltheorie (Wintersemester 2018/19)
• Vorlesung Mathematische Logik & Mengenlehre (Sommersemester 2019)
• Seminar Höhere Mengenlehre und unendliche Spiele (Sommersemester 2019)
• Seminar Weiterführende Themen aus Mathematischer Logik und Mengenlehre (Wintersemester 2019/20; fand wegen Covid-19 im Dezember 2020 online statt)
• Vorlesung Mathematische Logik & Mengenlehre (Sommersemester 2020)
• Proseminar Mathematik & Musik (Sommersemester 2020; fand wegen Covid-19 im März 2021 online statt)
• Vorlesung Modelle der Mengenlehre (Wintersemester 2020/21)
• Vorlesung Mathematische Logik & Mengenlehre (Sommersemester 2021)
• Seminar Fortgeschrittene Themen der Mengenlehre (Sommersemester 2021)
• Vorlesung Rekursionstheorie (Wintersemester 2021/22)
• Vorlesung Mathematik & Musik (Sommersemester 2022)
• Proseminar Mathematik von Wahlsystemen (Wintersemester 2022/23)
• Vorlesung Computability, Decidability, Incompleteness (Sommersemester 2023)
• Vorlesung Mathematik & Musik (Wintersemester 2023/24)
• Vorlesung The constructible universe (Sommersemester 2024)
• Seminar Fortgeschrittene Themen der Mathematischen Logik und Mengenlehre (Wintersemester 2024/25)

Teaching at University of Cambridge (since 2015)

• Part III course Model Theory (Lent 2015)
• Part III course Topics in Set Theory (Lent 2017)
• Part III course Topics in Set Theory (Lent 2018)
• Part III course Topics in Set Theory (Lent 2019)
• Part III course Infinite Games (Lent 2020)
• Part III course Infinite Games (Lent 2021)
• Part III course Large Cardinals (Lent 2022)
• Part II course Automata & Formal Languages (Michaelmas 2022)
• Part III course Large Cardinals (Lent 2023)
• Part II course Automata & Formal Languages (Michaelmas 2023)
• Part III course Large Cardinals (Lent 2024)
• Part II course Automata & Formal Languages (Michaelmas 2024)
• Part III course Forcing & the Continuum Hypothesis (Lent 2025)

Teaching at Universiteit van Amsterdam (2003–2021)

• Lecture Course Axiomatische Verzamelingentheorie (3rd Trimester 2002/03)
• Lecture Course Advanced Topics in Set Theory (1st Semester 2003/04, period a/b)
• Lecture Course Recursion Theory (1st Semester 2003/04, period a/b)
• Project Philosophy of Mind/Cognitive Science in David Lodge's Novel 'Thinks...'" (1st Semester 2003/04, period c)
• Lecture Course Axiomatische Verzamelingentheorie (2nd Trimester 2003/04)
• Lecture Course Core Logic (1st Semester 2004/05)
• Lecture Course Advanced Topics in Set Theory (1st Semester 2004/05)
• Lecture Course Caput Logic, Language and Information (together with Dr Barteld Kooi and Dr Maricarmen Martínez; 1st Semester 2004/05)
• Lecture Course Recursion Theory (together with Dr Maricarmen Martínez; 1st Semester 2004/05)
• Project Algebraic and Intuitionistic Logic (together with Nick Bezhanishvili; 1st Semester 2004/05, period c)
• Lecture Course Advanced Topics in Recursion Theory (2nd Semester 2004/05)
• Lecture Course Philosophy of Mathematics (2nd Semester 2004/05)
• Project Non-wellfounded sets (together with Dr Maricarmen Martínez and Fabrice Nauze; 2nd Semester 2004/05, period c)
• Lecture Course Core Logic (1st Semester 2005/06)
• Lecture Course Advanced Topics in Set Theory (1st Semester 2005/06)
• Project Topics in Ancient and Medieval Logic (together with Sara Uckelman; 1st Semester 2005/06, period c)
• Lecture Course Axiomatische Verzamelingentheorie (2nd Semester 2005/06)
• Seminar on Mathematical Logic (with Dr Yde Venema; 2nd Semester 2005/06)
• Project Topics in Medieval Logic (together with Sara Uckelman; 2nd Semester 2005/06, period c)
• Lecture Course Core Logic (1st Semester 2006/07)
• Lecture Course Advanced Topics in Set Theory: Infinite Games (1st Semester 2006/07)
• Project Scholarly Writing for Historical Logic (together with Sara Uckelman; 1st Semester 2006/07, period c)
• Seminar on Mathematical Logic (with Dr Yde Venema; 2nd Semester 2006/07)
• Lecture Course Core Logic (1st Semester 2007/08)
• Lecture Course Basic Logic (with Dick de Jongh; 1st Semester 2007/08)
• Seminar on Mathematical Logic (with Dr Yde Venema; 2nd Semester 2007/08)
• Lecture Course Core Logic (1st Semester 2008/09)
• Lecture Course Philosophy of Mathematics (1st Semester 2008/09)
• Lecture Course Capita Selecta: Set Theory, Model Theory (with Yurii Khomskii and Brian Semmes; 1st Semester 2008/09)
• Seminar on Mathematical Logic (with Dr Yde Venema; 2nd Semester 2008/09; Topic: Forcing and non-wellfounded set theory)
• Seminar on Mathematical Logic (with Dr George Barmpalias; 2nd Semester 2009/10; Topic: Descriptive set theory, infinite games and computability theory)
• Lecture Course Set Theory (with Dr Klaas-Pieter Hart; 2nd Semester 2010/11)
• Lecture Course Reasoning and formal modelling for Forensic Science (2nd Semester 2010/11, period a)
• Seminar on Mathematical Logic (2nd Semester 2010/11; Topic: Descriptive set theory)
• Lecture Course Capita Selecta: Set Theory (1st Semester 2011/12; Topic: Large cardinals)
• Seminar on Mathematical Logic (1st Semester 2011/12; Topic: Boolean-valued models of set theory)
• Lecture Course Axiomatische Verzamelingentheorie (2nd Semester 2012/13, period a & b)
• Seminar on Mathematical Logic (2nd Semester 2012/13, period a; Topic: Basics and applications of extensions of first-order logic)
• Lecture Course Capita Selecta: Set Theory (1st Semester 2013/14, period a; Topic: Descriptive set theory)
• Lecture Course Axiomatische Verzamelingentheorie (2nd Semester 2013/14, period b)
• Seminar on Mathematical Logic (1st Semester 2014/15, period a; Topic: Highlights of the foundations of mathematics)
• Lecture Course Capita Selecta: Set Theory (1st Semester 2014/15, period b; Topic: Large cardinals and descriptive set theory)
• Seminar on Mathematical Logic (2nd Semester 2015/16, period a; Topic: Models of Peano arithmetic)
• Course Studies of mathematical and logical practice (2nd Semester 2015/16, period b)
• Course Capita Selecta Set Theory (1st Semester 2016/17, period a)
• Seminar on Mathematical Logic (1st Semester 2016/17, period b; Topic: Infinite games in mathematics and computer science)
• Course Set Theory (with KP Hart; 1st Semester 2017/18)
• Seminar on Mathematical Logic (November and December 2017)
• Course Set Theory (with KP Hart; 1st Semester 2018/19)
• Course Set Theory (with KP Hart; 1st Semester 2019/20); doubled as Rudiments of Axiomatic Set Theory
• Course Rudiments of Axiomatic Set Theory (1st Semester 2019/20; used lectures I to VII of Set Theory)
• Course Set Theory (with KP Hart; 1st Semester 2020/21); doubled as Rudiments of Axiomatic Set Theory
• Course Rudiments of Axiomatic Set Theory (1st Semester 2020/21; used lectures I to VII of Set Theory)
• Course Capita Selecta: Set Theory (with Lorenzo Galeotti; 1st Semester 2020/21)
• Course Set Theory (with KP Hart; 1st Semester 2021/22); doubled as Rudiments of Axiomatic Set Theory
• Course Rudiments of Axiomatic Set Theory (1st Semester 2021/22; used lectures I to VII of Set Theory)

Teaching at Rheinische Friedrich-Wilhelms-Universität Bonn (1999–2007)

• Seminar Mengenlehre (Sommersemester 1999)
  
• Graduate Seminar Deskriptive Mengenlehre (Wintersemester 1999/2000)
  
• Graduate Seminar Große Kardinalzahlen (Sommersemester 2000)
  
• Graduate Seminar Kernmodelle & Deskriptive Mengenlehre (Wintersemester 2000/2001)
  
• Lecture Course Mengenlehre & Logik II (Sommersemester 2001)
  
• Graduate Seminar Mengenlehre & Logik (Wintersemester 2001/2002)
  
• Graduate Seminar Mathematik & Informatik (Wintersemester 2001/2002)
  
• Seminar Philosophie der Mathematik (Sommersemester 2002; with Dr. Joachim Bromand)
• Graduate Seminar Forcing (Sommersemester 2002; with Prof. Dr. Peter Koepke and Prof. Dr. Wolfram Pohlers)
• Seminar Non Standard Analysis (Wintersemester 2002/2003)
  
• Reading Course Mathematical Knowledge (Wintersemester 2002/2003)
  
• Lecture Course Infinite Games (Sommersemester 2004)
• Reading Course AG Texte zu Wissen und Wissenserwerb in der Mathematik (Sommersemester 2004; with Dr. Thomas Müller)
• Graduate Seminar Mengenlehre (Wintersemester 2005/06)
• Graduate Seminar Allgemeine Wissenschaftstheorie der Mathematik (Sommersemester 2007)

• Lecture Course Mengenlehre I (Wintersemester 2001/02)
• Graduate Seminar Forcing (Sommersemester 2002; with Prof. Dr. Peter Koepke and Prof. Dr. Wolfram Pohlers)