Gdańsk Logic Colloquium Talks

October-November, 2023

IMPAN and University of Gdańsk

(as a part of Simon’s Semester Program)

Venue

The lectures will be delivered in lecture hall D003 in the building of Faculty of Mathematics, Physics and Informatics of the University of Gdańsk.

The schedule

2023-10-26: John Steel (University of California, Berkeley): Mouse Pairs and Soulsin Cardinals [Abstract, Slides, Recording]

2023-11-02: Boban Velickovic (University of Paris): In search of higher forcing axioms [Slides, Recording]

2023-11-02: Ralf Schindler (University of Münster): The *-version of Martin's Maximum [Abstract, Recording]

2023-11-23: Matteo Viale (University of Torino): Strong forcing axioms and the continuum problem [Abstract, Slides, Recording]

2023-12-07: Juliette Kennedy (University of Helsinki): On the mathematical sublime [Slides, Recording]

2023-12-07: Jouko Väänänen (University of Helsinki): Inner models from extended logics [Slides, Recording]

Local organizers

Rafał Filipów and Grigor Sargsyan and Bartosz Wcisło (in alphabetical order)