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 2022/23

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 Fridays from 4pm to 6pm local Hamburg time. We may be experimenting with hybrid solutions in some cases.

Date Speaker Title Slides / Transcript
14 October 2022
16:00-18:00 GMT+2, Zoom
Lucas Wansner (Hamburg) \(\boldsymbol{\Sigma}^1_2(\mathbb{A})\) implies \(\aleph_1\) is inaccessible by reals
21 October 2022
16:00-18:00 GMT+2, Zoom
Clara List (Hamburg) An overview of predicate modal logic
28 October 2022
16:00-18:00 GMT+2 Zoom
No Seminar
4 November 2022
16:00-18:00 GMT+1 Zoom
Raiean Banerjee (Hamburg) Willowtree and Matet quasigenerics
11 November 2022
16:00-18:00 GMT+1 Zoom
No Seminar
18 November 2022
16:00-18:00 GMT+1 Zoom
No Seminar
25 November 2022
16:00-18:00 GMT+1 Zoom
No Seminar
2 December 2022
16:00-18:00 GMT+1 Zoom
No Seminar
9 December 2022
16:00-18:00 GMT+1 Zoom
No Seminar
16 December 2022
16:00-18:00 GMT+1 Zoom
No Seminar
20 December 2022
14:00-16:00 GMT+1 Zoom
Note: Tuesday! Different time!
Steef Hegeman (Amsterdam) A transfinite variant of the Sacks Splitting Theorem
21 December 2022
14:00-16:00 GMT+1 Zoom
Note: Wednesday! Different time!
Tristan van der Vlugt (Hamburg) A presentation about hats and predicting the future; with pre-Christmas social online chatting afterwards
12 January 2023
whole day
Geom 1528
Bilateral workshop with the University of Leeds celebrating World Logic Day 2023
Cardinal Definitions Probing the Boundary of Inconsistency (CaDProBI)
20 January 2023
16:00-18:00 GMT+1 Zoom
Clara List (Hamburg) Canonical models for quantified \(\mathsf{S4.2}\)
27 January 2023
16:00-18:00 GMT+1 Zoom
No Seminar
3 February 2023
16:00-18:00 GMT+1 Zoom
No Seminar
10 February 2023
16:00-18:00 GMT+1 Zoom
No Seminar
17 February 2023
16:00-18:00 GMT+1 Zoom
No Seminar
24 February 2023
16:00-18:00 GMT+1 Zoom
No Seminar
3 March 2023
16:00-18:00 GMT+1 Zoom
No Seminar
10 March 2023
16:00-18:00 GMT+1 Zoom
Clara List (Hamburg) 16:15–17:00. On the predicate modal logic of forcing (with corrections to the last talk)
Tristan van der Vlugt (Hamburg) 17:00–17:45. Separating \(\kappa^+\) many localisation cardinals, Part I.
17 March 2023
16:00-18:00 GMT+1 Zoom
No Seminar
24 March 2023
16:00-18:00 GMT+1 Zoom
Tristan van der Vlugt (Hamburg) Separating \(\kappa^+\) many localisation cardinals, Part II
31 March 2023
16:00-18:00 GMT+2 Zoom
Valentin Imbach (Cambridge) Transfinite generative grammars

 
  Seitenanfang  Impress 2023-04-06, B.L.