ML Seminar: Forschungsseminar Mathematische Logik

This is the website of the research seminar (Forschungsseminar) of the Mathematical Logic Group (Bereich Mathematische Logik und interdisziplinäre Anwendungen der Logik, ML) in the Department of Mathematics at the University of Hamburg.

The ML Seminar is a virtual joint meeting of STiHaC, the set theory groups in Hamburg and Cambridge.

List of past and future seminar schedules
Wintersemester 2013/14 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 Sommersemester 2024 Wintersemester 2024/25 Sommersemester 2025
Wintersemester 2025/26 Sommersemester 2026 Wintersemester 2026/27

Sommersemester 2018

The seminar took place on Mondays, 16:15 - 17:45 room Geom 430.

Date Speaker Title Slides / Transcript
2. April 2018 Ostermontag / Easter Monday
9. April 2018 Sören Berger The modal logic of Abelian groups
Dienstag
10. April 2018
17:00 HS 4 		Yurii Khomskii Habilitationsvortrag im Rahmen des Kolloquiums für Reine Mathematik
Definability and the Structure of the Real Line
16. April 2018 kein Seminar
23. April 2018 kein Seminar
Donnerstag
26. April 2018
14:15–17:45 Geom 415 		ACH 2018: Amsterdam-Cambridge-Hamburg Logic Master's Thesis Days
Freitag
27. April 2018
11:00–15:00 Geom 415
30. April 2018 kein Seminar
7. Mai 2018 Robert Paßmann Heyting structures: Loyalty, faithfulness and an application to the de Jongh property abstract
14. Mai 2018 Nathan Bowler Minimal β-models of TST
21. Mai 2018 Pfingstferien / Pentacostal break
28. Mai 2018 Yurii Khomskii Symbiosis and Upwards Reflection Principles, Part I
4. Juni 2018 Yurii Khomskii Symbiosis and Upwards Reflection Principles, Part II
11. Juni 2018 Keith Weber Δ1 Infinite Time Turing Machines
Dienstag
12. Juni 2018
14-16 Geom 430 		Colin Rittberg & Fenner Tanswell Epistemic Injustice in Mathematics
18. Juni 2018 Katie McCallum Materials and Practices in Mathematical Communication: An Artist's Ethnography of Research Mathematics
25. Juni 2018 Lucas Wansner Kategoriebasen
2. Juli 2018 kein Seminar
9. Juli 2018 Keith Weber More on Σ1 ITTMs
16. Juli 2018 Thilo Weinert Cardinal Characteristics and Partition Properties