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  

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
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 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

  Seitenanfang  Impress 2020-04-16, B.L.