# Gdansk Logic Colloquium

IMPAN and University of Gdansk

- 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 - 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. - 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 - 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 - 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 - October 14, 2022

Maciej Malicki, IMPAN

Title: Continuous logic and equivalence relations - July 25-August 6, 2022

Gabriel Goldberg, University of California, Berkeley

Title: The Ultrafilter Axiom (4 Lectures) - 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.