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 2020/21

During Wintersemester 2020/21, the ML Seminar is held as a virtual joint meeting of STiHAC, the set theory groups in Hamburg, Amsterdam, and Cambridge. It meets regularly on Thursdays, from 6pm to 7:30pm local Hamburg time.

Date Speaker Title Slides / Transcript
5 November 2020
18:00 GMT+1, Zoom
Luke Gardiner (Cambridge) Collapsing large cardinals to become \(\aleph_1\)
12 November 2020
18:00 GMT+1, Zoom
Tristan van der Vlugt Rearrangement and subseries numbers
19 November 2020
18:00 GMT+1, Zoom
Lucas Wansner (Hamburg) Computable Silver forcing
26 November 2020
18:00 GMT+1, Zoom
Han Xiao (Hamburg) An idea of Inamdar on the modal logic of c.c.c. forcing, Part I
3 December 2020
18:00 GMT+1, Zoom
Han Xiao (Hamburg) An idea of Inamdar on the modal logic of c.c.c. forcing, Part II
10 December 2020
18:00 GMT+1
No Seminar
17 December 2020
18:00 GMT+1, Zoom
Yurii Khomskii (Amsterdam & Hamburg) Bounded Symbiosis and Upwards Reflection Abstract
7 January 2021
18:00 GMT+1, Zoom
Robert Paßmann (Cambridge & Amsterdam) Logical pluralism and meta-logic
14 January 2021
18:00 GMT+1
No Seminar
21 January 2021
18:00 GMT+1, Zoom
Dominik Wehr (Amsterdam) Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory
28 January 2021
18:00 GMT+1, Zoom
Robert Paßmann (Cambridge & Amsterdam) A categorical model for Heyting arithmetic
4 February 2021
18:00 GMT+1, Zoom
Luke Gardiner (Cambridge) Infinite exponent partition relations on the reals, Part I
11 February 2021
18:00 GMT+1, Zoom
Raiean Banerjee (Hamburg) Regularity properties in iterations of length ℵ1
18 February 2021
18:00 GMT+1, Zoom
Luke Gardiner (Cambridge) Infinite exponent partition relations on the reals, Part II
25 February 2021
18:00 GMT+1, Zoom
Lucas Wansner (Hamburg) & Ned Wontner (Amsterdam) Borel and projective pointclasses with no choice at all slides
4 March 2021
18:00 GMT+1, Zoom
Robert Schütz (Amsterdam) Multiverses with more than two modal logics of forcing, Part I slides
11 March 2021
18:00 GMT+1
No Seminar
18 March 2021
18:00 GMT+1, Zoom
Robert Schütz (Amsterdam)
David de Graaf (Amsterdam)
Multiverses with more than two modal logics of forcing, Part II
A partition calculus in set theory
25 March 2021
18:00 GMT+1, Zoom
Tristan van der Vlugt (Hamburg) A higher counterpart to random forcing slides

 
  Seitenanfang  Impress 2021-03-25, B.L.