Bereich Mathematische Logik und interdisziplinäre Anwendungen der Logik (ML)

Sekretariat. Heike Wessling (Room 219, Tel. 5135)

Drittmittelfinanzierte Forschungsprojekte – Research projects with external funding

What makes stories similar? (2011–2014, funded by the John Templeton Foundation)

Cultures of mathematical research training (2014–2015, funded by the International Council for Science, ICSU)

Regularity properties, definability and combinatorics on the real line (REGPROP; 2017–2019, funded by the European Commission, 706219)

Independence phenomena in multi set theory (TWAS-DFG Cooperation Visit; 2019)

Forschungsseminar – Research Seminar

The ML group has a research seminar (Forschungsseminar) that was informally run in the past under the name of "ML Kolloquium". It features research talks by group members and guests. We invite everyone interested in mathematical logic to attend the talks.

Current information.

List of past and future seminar schedules
Sommersemester 2014	Wintersemester 2014/15	Sommersemester 2015	Wintersemester 2015/16
Sommersemester 2016	Wintersemester 2016/17	Sommersemester 2017	Wintersemester 2017/18
Sommersemester 2018	Wintersemester 2018/19	Sommersemester 2019	Wintersemester 2019/20
Sommersemester 2020

Veranstaltungen – Events

16. September 2012. Vorstellung des Theaterstücks Breaking the Code von Hugh Whitemore im Lichthof Theater (Mendelssohnstraße 15b, 20:00) als Teil der Tournee der University Players Hamburg.
28. November 2012. Dokumentarfilmvorführung des Films Codebreaker im Großen Kino des Abaton-Kinos, Allende-Platz 3.
8.–10. März 2013. Seminar Formale Ansätze in der Erzählforschung.
4.–6. August 2013. Workshop Computational Models of Narrative 2013.
10. Februar 2014. Hamburg Set Theory Workshop 2014.
29. April 2014. Informal Amsterdam-Hamburg Set Theory Encounter (Amsterdam, The Netherlands).
21.–25. September 2015. Jahrestagung der Deutschen Mathematiker-Vereinigung.
18. Januar 2016. Hamburg Set Theory Workshop 2016.
22. Januar 2016. The Metaphysical 'Because' and the Foundations of Mathematics.
8.–10. September 2016. Colloquium Logicum 2016
10. April 2018. Habilitationsvortrag Dr. Yurii Khomskii: Definability and the Structure of the Real Line
26.–27. April 2018. ACH 2018: Amsterdam-Cambridge-Hamburg Logic Master's Thesis Days
29.–30. Juni 2018. DMV Studierendenkolleg UnDecidability.
20.–21. Juni 2020. Hamburg Set Theory Workshop 2020: Descriptive Set Theory, Forcing and the Reals.

Lehre – Teaching

Wintersemester 2019/20.
- Proseminar Zahlsysteme (Khomskii, Blockseminar)
- Seminar Weiterführende Themen aus Mathematischer Logik und Mengenlehre (Löwe, Blockseminar)
- Forschungsseminar Mathematische Logik ("ML Seminar").
Sommersemester 2019.
- Vorlesung Mathematische Logik & Mengenlehre (Löwe)
  Montag 16–18 (Geom H3), Mittwoch 14–16 (Geom H2)
  Übungen: Dienstag 10–12 (Gollin; Geom 241), Dienstag 14–16 (Löwe; Geom 415).
- Seminar Höhere Mengenlehre und unendliche Spiele (Löwe)
- Seminar Weiterführende Themen aus Mathematischer Logik und Mengenlehre (Khomskii; Blockseminar)
- Forschungsseminar Mathematische Logik ("ML Seminar").
Wintersemester 2018/19.
- Vorlesung Vertiefung Mengenlehre (Khomskii)
  Montag 16–18 (Geom H2)
  Übungen: Montag 12–14 (Geom 241)
- Seminar Modelltheorie (Löwe)
  Blockseminar 25. & 27. März 2019.
- Forschungsseminar Mathematische Logik ("ML Seminar").
Sommersemester 2018.
- Vorlesung Mathematische Logik & Mengenlehre (Löwe)
  Dienstag 16–18 (Geom H1), Mittwoch 16 s.t.–17:30 (Geom H3)
  Übungen: Dienstag 14–16 (Geom 432)
- Vorlesung Vertiefung: Algebraische Strukturen für das Lehramt Primarstufe und Sekundarstufe I (Löwe)
  Montag 14–16 (Geom H6)
- Forschungsseminar Mathematische Logik ("ML Seminar")
Wintersemester 2017/18.
- Vorlesung Vertiefung Mengenlehre (Wohofsky)
  Donnerstag 10–12 (Geom H5)
- Vorlesung Formale Grundlagen der Informatik IIIa–Logik & weiterführende Algorithmen (Wohofsky)
  Montag 14–16 (Inf B-201)
- Seminar Deskriptive Mengenlehre (Löwe)
  Blockseminar 28. & 29. März 2018.
- Forschungsseminar Mathematische Logik ("ML Seminar")
Sommersemester 2017.
- Vorlesung Vertiefung Mengenlehre (Löwe)
  Montag 16–18 (Geom H4), Dienstag 14–16 (Geom H1)
  Übungen: Dienstag 16-18 (Geom 1240)
- Seminar Modelltheorie (Löwe)
- Forschungsseminar Mathematische Logik ("ML Seminar")
Wintersemester 2016/17.
- Proseminar Grundlagen der Berechenbarkeit (Löwe)
  Blockseminar 28., 29. & 31. März 2017.
- Forschungsseminar Mathematische Logik ("ML Seminar")
Sommersemester 2016.
- Vorlesung Vertiefung Mengenlehre (Khomskii)
  Montag 12–14 (Geom H5)
- Seminar zur fortgeschrittenen Mengenlehre (Löwe).
  Blockseminar Juli 2016.
- Forschungsseminar Mathematische Logik ("ML Seminar")
  Montag 14–16 (Geom 142)
Wintersemester 2015/16.
- Vorlesung Mengenlehre (Bowler)
  Donnerstag 10–12 (Geom H3)
  Übungen zur Mengenlehre: Freitag 10–11 (Block).
- Seminar zur Modelltheorie (Löwe).
  Blockseminar 19. Januar 2016.
- Forschungsseminar Mathematische Logik ("ML Seminar")
  Montag 14–16 (Geom 434)
Sommersemester 2015.
- Vorlesung Einführung in die Mathematische Logik und Modelltheorie (Löwe)
  Dienstag 14–16 (Geom H1), Donnerstag 14–16 (Geom H3)
  Übungen zur Logik: Dienstag 16–18 (Löwe), Donnerstag 16–18 (Sharankou).
- Seminar über fortgeschrittene Themen aus der Mengenlehre (Löwe).
- Forschungsseminar Mathematische Logik ("ML Seminar")
  Mittwoch 14–16 (Geom 233).
Wintersemester 2014/15.
Seminar Weiterführende Themen aus der Mengenlehre (Löwe)
Blockseminar, 18. und 19. März 2015
Sommersemester 2014.
- Vorlesung Deskriptive Mengenlehre (Geschke & Laguzzi)
  Montag 12–14 (Geom H4), Mittwoch 16–18 (Geom H6)
- Seminar Große Kardinalzahlen (Löwe)
  Blockseminar 3.7., 10.7., 22.7.2014
Wintersemester 2013/14.
- Vorlesung Axiomatische Mengenlehre (Löwe)
  Donnerstag 16–18 (Geom H3), Freitag 12–14 (Geom 434)
  Übungen zur Axiomatischen Mengenlehre: Freitag 14-16 (Geom 432)
- Seminar Weiterführende Themen aus der mathematischen Logik und Mengenlehre (Löwe)
  Donnerstag 18-20 (Geom 1240)
Sommersemester 2013.
- Proseminar Grundbegriffe der mathematischen Logik und Modelltheorie (Löwe)
  Blockseminar 25.-27.7.2013
Wintersemester 2012/13.
- Vorlesung Berechenbarkeitstheorie (Löwe)
  Dienstag 18–20 (Geom H6), Donnerstag 12–14 (Geom H3)
  Übungen zur Berechenbarkeitstheorie: Donnerstag 14–16 (Geom 241)
- Seminar Philosophie der Mathematik (Löwe)
  Dienstag 16–18 (Geom 434)
Sommersemester 2012.
Proseminar Mengenlehre (Löwe)
Blockseminar 18., 25., und 26. August 2012

Ehemalige Mitglieder – Former Members

Dr. Funmilola Balogun (Gastwissenschaftlerin; 2019)
Tabea Beese M.Sc. (studentische Hilfskraft; 2015)
Sören Berger M.Sc. (studentische Hilfskraft; 2015–2016)
Nick de Hoog M.A. (wissenschaftlicher Mitarbeiter [Universität Konstanz]; 2015)
Dr. Bernhard Fisseni (Wissenschaftlicher Mitarbeiter; 2012–2013)
Dr. Lorenzo Galeotti (Doktorand; 2016–2019)
Dr. Pascal Gollin (Studentische Hilfskraft; 2013–2014)
Florian Gut (Studentische Hilfskraft; 2018)
Dr. Karl Heuer (Studentische Hilfskraft; 2012–2013)
Marcel Krüger B.Sc. (Studentische Hilfskraft; 2018)
Dr. Giorgio Laguzzi (Wissenschaftlicher Mitarbeiter; 2013–2014)
Meha Mishra (Gastdoktorandin; 2019)
Deniz Sarikaya M.A. M.Sc. (Studentische Hilfskraft; 2012–2013 & 2017–2018)
Dipl.-Math. Ilya Sharankou (wissenschaftlicher Mitarbeiter, 2013–2016)
Mira Viehstädt (Studentische Hilfskraft; 2012–2013)
Dr. Wolfgang Wohofsky (Wissenschaftlicher Mitarbeiter; 2015–2018; Gast 2018–2019)