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

Wintersemester 2019/20

The seminar took place on Monday, 14:15 - 15:45 room Geom 430.

Date Speaker Title Slides / Transcript
14 October 2019 Deniz Sarikaya (UHH) Using frameworks from Philosophy of Science within Philosophy of Mathematic(s|al Practice)
21 October 2019 Alexander Okupnik (ETH Zürich) Software 2.0. Programs programming programs!
28 October 2019 Marcos Cramer (TU Dresden) How to Frame a Mathematician: Modelling the Cognitive Background of Proofs
4 November 2019 Marcel Krüger (UHH) Interpreting mathematical markup for enhanced accessibility of scientific research
11 November 2019 No seminar
18 November 2019 Michel Gaspar (UHH) Borel chromatic numbers of closed graphs and a Silver forcing
25 November 2019 Nathan Bowler (UHH) Reflective Comprehension Principles
2 December 2019 Lorenzo Rossi (LMU München) Core Grounding
9 December 2019 Hosea von Hauff (LMU München) An BHK-Interpretation for Intuitionistic Epistemic Logic
16 December 2019 Lucas Wansner (UHH) Regularity Properties and Inaccessible Cardinals
6 January 2020 Deborah Kant (U Konstanz) Set theorists' voices on new axioms.
8 January 2020
Wednesday 14:15-15:45
Room 1438 		Liuzhen Wu (Beijing & Münster) On the minimal size of a basis for uncountable linear order abstract
13 January 2020 Florian Gut (UHH) Variations of the \(K_\omega\) Game
15 January 2020
Wednesday 18:15-19:45
Room 430 		Yurii Khomski (Hamburg and Amsterdam) Regularity Properties, Cichon's Diagram and Suslin Proper Forcing abstract
20 January 2020
 No seminar
27 January 2019
 Jose Perez Escobar (ETH Zürich) Mathematical Modelling and Teleology in Biology