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.