y
Schriftzug: Fachbereich Mathematik 
  UHH > Fakultäten > MIN-Fakultät > Mathematik > Bereiche > Mathematische Logik   STiNE |  KUS-Portal |  Sitemap Suchen Hilfe there is no english version of this page  

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



The Fakultät für Mathematik, Informatik und Naturwissenschaften der Universität Hamburg (MIN-Fakultät) and the Conseil International de Philosophie et des Sciences Humaines have signed an agreement to create the CIPSH Chair on Diversity of Mathematical Research Cultures & Practices (DMRCP) which is hosted by the ML group.

The ML group has joined with the set theorists from the University of Cambridge to form the informal group Set Theory in Hamburg and Cambridge (STiHaC) meeting regularly remotely for the ML Research Seminar. The Cambridge-based members of STiHaC are listed below under the heading of Cambridge.

Mitglieder – Members

Hamburg

Banerjee, Raiean, M.Sc. (Geom 409, Wissenschaftlicher Mitarbeiter)
Kant, Deborah, M.Sc. (Geom 409, Scientific Coordinator CIPSH Chair DMRCP)
Khomskii, Yurii, Priv.-Doz. Dr. (Geom 409, former Marie Skłordowska-Curie Fellow)
List, Clara, M.Sc. (Doktorandin)
Löwe, Benedikt, Prof. Dr. (Geom 407, Leiter)
Lücke, Philipp, Priv.-Doz. Dr. (Geom 405, Heisenberg-Stipendiat)
Osinski, Jonathan, M.Sc. (Geom 411, Wissenschaftlicher Mitarbeiter)
Sarikaya, Deniz, Dr. (Geom 411, Gast): Interview in Neunzehn 9 (Oktober 2017)
van der Vlugt, Tristan, M.Sc. (Geom 403, Wissenschaftlicher Mitarbeiter)
Xiao, Han, M.Sc. (Geom 403, Doktorand)

Sekretariat.
Heike Hanslik (née Wessling) (Room 219, Tel. 5135)

Cambridge

Gardiner, Luke, M.Math. M.A. (Ph.D. student) T
Löwe, Benedikt, Prof. Dr. CHU LC ED
Moore, Adam, M.Math. (M.Phil. student) LC

Drittmittelfinanzierte Forschungsprojekte – Research projects with external funding

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)
Long Blackwell games (AvH Humboldt Research Fellowship for Postdocs & European Research Stay; 1223766 & LMS Scheme 4 grant; 42130; 2023)
Set Theory in the United Kingdom (INI Network Support; 2023–2024)

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. Due to the global health crisis, the ML Seminar has been transformed into an virtual joint meeting of STiHAC, the set theory groups in Hamburg, Amsterdam, and Cambridge.

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 Wintersemester 2020/21 Sommersemester 2021 Wintersemester 2021/22
Sommersemester 2022 Wintersemester 2022/23 Sommersemester 2023 Wintersemester 2023/24

Veranstaltungen – Events

Lehre – Teaching

  • Sommersemester 2024.
    • Vorlesung Mathematische Logik & Mengenlehre (Geschke)
      Montag 14–16, Mittwoch 14–16
    • Proseminar Maß & Kategorie (Lücke)
      Dienstag 12–14 (Sed19 203)
    • Seminar Modelltheorie (Khomskii)
      Blockveranstaltung
    • Vorlesung Das konstruktible Universum (Löwe)
      Montag 16–18 (Geom H1)
  • Wintersemester 2023/24.
    • Seminar Kombinatorische Mengenlehre (Lücke)
      Blockveranstaltung
    • Proseminar Aussagenlogik & Boolesche Alnéeen (Khomskii)
      Blockveranstaltung
    • Vorlesung Mathematik & Musik (Löwe)
      Blockveranstaltung vom 20. bis 27. März 2024
  • Sommersemester 2023.
    • Vorlesung Mathematische Logik & Mengenlehre (Geschke)
      Montag 14–16 (Geom H4), Mittwoch 16–18 (Geom H2)
      Übungen: Dienstag 10–12, Dienstag 14–16
    • Vorlesung Computability, Decidability, Incompleteness (Löwe)
      Dienstag 12–14 (Geom H3)
    • Vorlesung Empirische Untersuchungen mathematischer Praxis (Kant)
      Donnerstag 12–14 (Geom 433)
      Übungen: Donnerstag 14–15, Donnerstag 15–16
    • Seminar Kardinalzahlen und ihre Arithmetik (Khomskii)
      Blockseminar von 11. bis 18. Oktober 2023
  • Wintersemester 2022/23.
  • Sommersemester 2022.
    • Vorlesung Mathematische Logik & Mengenlehre (Geschke)
      Montag 14–16 (Geom H4), Mittwoch 16–18 (Geom H2)
      Übungen: Dienstag 10–12, Dienstag 14–16
    • Vorlesung Mathematik & Musik (Löwe)
      Montag 16–18 (Geom H3)
    • Vorlesung Empirische Untersuchungen mathematischer Forschungspraxis (Kant)
      Donnerstag 14–16 (Geom H2)
      Übung: Donnerstag 11–12 (Sed19 205)
    • Seminar Transfinite Berechenbarkeitstheorie (Khomskii)
      Blockseminar am 5. und 7. Oktober 2022
  • Wintersemester 2021/22.
    • Vorlesung Rekursionstheorie (Löwe)
      Unregelmäßig, 13.10.2021, 22.10.2021, 3.11.2021, 16.11.2021, 23.11.2021, 30.11.2021, 21.12.2021, 5.1.2022, 6.1.2022, 12.1.2022, 13.1.2022, 19.1.2022, 24.1.2022 (Zoom)
    • Seminar Große Kardinalzahlen (Khomskii)
      Blockseminar vom 25. bis 28. Januar 2022
  • Sommersemester 2021.
  • Wintersemester 2020/21.
  • Sommersemester 2020.
    • Vorlesung Mathematische Logik & Mengenlehre (Löwe)
      Montag 14–16 (Zoom), Mittwoch 14–16 (Zoom)
      Übungen: Dienstag 10–12 (Wansner; Zoom), Dienstag 14–16 (Löwe; Zoom).
    • Proseminar Mathematik & Musik (Löwe)
      Aus Gründen der Covid-19 Pandemie verschoben auf das WS 20/21.
    • Forschungsseminar Mathematische Logik ("ML Seminar").
  • Wintersemester 2019/20.
  • Sommersemester 2019.
  • 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.
  • 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.
  • 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.
  • 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.
  • Wintersemester 2012/13.
  • 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)
  • Alexander Block M.Sc. (Wissenschaftlicher Mitarbeiter 2014–2017; Doktorand 2017–2019)
  • 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. Michel Gaspar (Doktorand 2018–2022)
  • Dr. Pascal Gollin (Studentische Hilfskraft 2013–2014)
  • Florian Gut M.Sc. (Studentische Hilfskraft 2018)
  • Dr. Karl Heuer (Studentische Hilfskraft 2012–2013)
  • Marcel Krüger M.Sc. (Studentischer Tutor 2018; Student 2018–2022)
  • Dr. Giorgio Laguzzi (Wissenschaftlicher Mitarbeiter 2013–2014)
  • Meha Mishra (Gastdoktorandin 2019)
  • Tim Seifert, M.Sc. (Studentischer Tutor 2020, Student 2022–2023)
  • Dipl.-Math. Ilya Sharankou (wissenschaftlicher Mitarbeiter 2013–2016)
  • Mira Sarikaya, née Viehstädt M.A. (Studentische Hilfskraft 2012–2013)
  • Dr. Lucas Wansner (Studentischer Tutor 2019; Wissenschaftlicher Mitarbeiter 2019–2023)
  • Dr. Wolfgang Wohofsky (Wissenschaftlicher Mitarbeiter 2015–2018; Gast 2018–2019)

 
  Seitenanfang  Impressum 2024-03-22, bfi, BL, wwwmath (JMD)