Talks

1. December 6, 2023
   Speaker: Juliette Kenedy, University of Helsinki (Part of Simon's Semester Program)
   Time: 16:00-17:00
   Place: University of Gdansk, Department of Mathematics, Room D003
   Title: On the mathematical sublime
   
   Speaker: Jouko Vaananen, University of Helsinki (Part of Simon's Semester Program)
   Time: 17:00-18:00
   Place: University of Gdansk, Department of Mathematics, Room D003
   Title: Inner models from extended logics


2. November 23, 2023
   Matteo Viale, University of Torino (Part of Simon's Semester Program)
   Title: Strong forcing axioms and the continuum problem
   ABSTRACT: A topological approach to forcing axioms considers them as strong forms of the Baire category theorem; an algebraic approach describes certain properties of "algebraic closure" for the universe of sets that can be derived from them. The goal of the talk is to outline the link betwen the geometric and algebraic points of view.
   The talk is meant for a general mathematical audience. In particular familiarity with logic or set theory is not assumed.


3. November 2, 2023
   Ralf Schindler, University of Muenster (Part of Simon's Semester Program)
   Title:The *-version of Martin's Maximum
   Time: 16:45-17:45
   Place: University of Gdansk, Department of Mathematics, Room D003


4. Date: November 2nd, 2023
   Boban Velickovic, Institut de Mathématiques Jussieu - Paris Rive Gauche (IMJ-PRG)
   Université Paris Cité
   Title: Higher forcing axioms
   Time: 15:30-16:30
   Place: University of Gdansk, Department of Mathematics, Room D003


5. October 26, 2023
   John Steel, UC Berkeley (Part of Simon's Semester Program)
   Title: Mouse Pairs and Soulsin Cardinals
   Place: University of Gdansk, Room D003


6. October 14, 2022
   Maciej Malicki, IMPAN
   Title: Continuous logic and equivalence relations


7. July 25-August 6, 2022
   Gabriel Goldberg, University of California, Berkeley
   Title: The Ultrafilter Axiom (4 Lectures)


8. February 9, 2022
   Ralf Schindler, University of Muenster
   Title: Set theory and the Continuum Hypothesis
   Abstract: In a 2021 Annals paper, D. Aspero and the speaker showed that two prominent axioms of set theory which were introduced independently from one another in the late 80's early 90's and which both decide the size of the continuum are compatible, in fact one implies the other. Both axioms are so-called forcing axioms which are also exploited in other areas of mathematics. I am going to provide an accessible introduction to our result.