# The IMPAN Logic Colloquium

The Logic Colloquium at the Gdansk branch of IMPAN is a colloquium series given by visitors of IMPAN.
### Talks

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.