Details about the Fall 2024 event...

Topics:

(September-October) Grigor Sargsyan, A course on large cardinals (November-December) Tutorials by the Leaders of the Set Theory portion of Structures Semester Below is the list of the Tutorial Speakers. Please note that the tutorials will take place at the Gdansk branch of IMPAN. Omer Ben Neria (Hebrew University) Ralf Schindler (University of Münster) Matteo Viale (University of Turin) John Steel (UC Berkeley) Boban Velickovic (Paris) Jouko Väänänen Jindra Zapletal Juliette Kennedy The infor for Tutorials is listed below. Tutorials by Matteo Viale

Title: The model companion of set theory

Lecture 1 Date: November 23, 2023 Time: 16:00-17:00 Title: Strong forcing axioms and the continuum problem Place: University of Gdansk, Department of Mathematics, Room D003

Lecture 2 Date: December 4, 2023 Time: 11:00-12:00 Title: The model companion of set theory Place: IMPAN SOPOT

Lecture 2 Date: December 11, 2023 Time: 11:00-12:00 Place: University of Gdansk, Room A113

Lecture 3 Date: December 11, 2023 Time: 12:00-13:00 Place: University of Gdansk, Room A113

Lecture 4 Date: December 12, 2023 Time: 14:00-15:00 Place: University of Gdansk, Room A113

Lecture 5 Info Date: December 14, 2023 Time: 17:00-18:00 Place: University of Gdansk, Room D003 Title: Inner models from extended logics

Tutorials by Jouko Väänänen

Title: Inner models from extended logics

Lecture 1 Info Date: December 7, 2023 Time: 17:00-18:00 Place: University of Gdansk, Department of Mathematics, Room D003 Title:Inner models from extended logics Info: Cross-listed as Gdansk Logic Colloquium

Lecture 2 Info Date: December 11, 2023 Time: 10:00-11:00 Place: University of Gdansk, Room A113 Title: Inner models from extended logics

Lecture 3 Info Date: December 12, 2023 Time: 13:00-14:00 Place: University of Gdansk, Room A113 Title: Inner models from extended logics

Lecture 4 Info Date: December 14, 2023 Time: 16:00-17:00 Place: University of Gdansk, Room D003 Title: Inner models from extended logics

Tutorials by Juliette Kennedy

Title: A perspective on the first order logic

Lecture 1 Info Date: December 5, 2023 Time: 14:10-15:10 Place: University of Gdansk, Room A113 Title: How first order is first order logic?

Lecture 2 Info Date: December 5, 2023 Time: 15:20-16:20 Place: University of Gdansk, Room A113 Title: Extracting syntax from semantics

Lecture 3 Info Date: December 7, 2023 Time: 16:00-17:00 Place: University of Gdansk, Department of Mathematics, Room D003 Title: On the mathematical sublime Info: Cross-listed as Gdansk Logic Colloquium

Tutorials by Jindra Zapletal

Title: Geometric set theory

Abstract: The minicourse will outline the methodology of obtaining independence results in the choiceless theory ZF+DC, as described in the book Geometric Set Theory with coauthor Paul Larson. Within its scope, the method is much more efficient and intuitive than all earlier ones. It allows detailed ZF+DC comparison of various objects currently considered in Borel context.

Zoom Streaming: https://us02web.zoom.us/j/89366420630?pwd=c2hnTDhTelZiV3VCTWd4eG5oTlFlUT09

Lecture 1 Info Date: November 20, 2023 Time: 13:30-14:30 Place: IMPAN Warsaw, Room 405 Abstract: I will sketch the main concerns, definitions, and general theorems. As one consequence of this development, I will get the following: It is consistent with ZF+DC that there is a non-principal ultrafilter on natural numbers, yet no maximal almost disjoint family of sets of natural numbers exists.

Lecture 2 Info Date: November 21, 2023 Time: 13:30-14:30 Place: IMPAN Warsaw, Room 405 Abstract: I will show how to stratify the amalgamation arguments used in geometric set theory. I will apply the stratification to independence problems in algebraic geometry: It is consistent with ZF+DC to have a Hamel basis for R but not a transcendence basis for R over Q. For any positive integer n, let Gn be the graph on n-dimensional Euclidean space connecting points of rational Euclidean distance. It is consistent with ZF+DC that Gn has countable chromatic number while Gn+1 does not.

Lecture 3 Info Date: November 22, 2023 Time: 13:30-14:30 Place: IMPAN Warsaw, Room 405 Abstract: I will show how to obtain independence results in the realm of locally countable descriptive combinatorics. A sample theorem: Let G be a locally finite Borel graph of true chromatic number n. It is consistent with ZF+DC that G has chromatic number at most 2n-1, and there is no Vitali set.

Tutorials by Ralf Schindler

Title: title: The *-version of Martin’s Maximum

Abstract: Inspired by P_max, we define and explore the *-versions of various forms of Martin’s Maximum. While the *-version of BMM is equivalent to BMM (by a result of Asperó and the speaker), the *-version of full MM might be strictly stronger than MM and in fact the former isn’t even known to be consistent. The new result will be the construction of a ZFC-model of the *-version of MM for antichains of size \aleph_2. Doing the same for \aleph_3 is a problem that is wide open and leads to interesting set theoretical questions which are currently explored by several people.

Tutorial 1 Date: November 2nd, 2023 Time: 16:45-17:45 Place: University of Gdansk, Department of Mathematics, Room D003 Crosslisted as Gdansk Logic Colloquim

Tutorial 2 Date: November 3rd, 2023 Time: 14-15 Place: Mariacka 34/36

Tutorial 3 Date: November 6, 2023 Time: 14-15 Place: Mariacka 34/36

Tutorials by Boban Velickovic

Title: In search of higher forcing axioms.

Tutorial 1 Date: November 2nd, 2023 Time: 15:30-16:30 Place: University of Gdansk, Department of Mathematics, Room D003 Crosslisted as Gdansk Logic Colloquim

Tutorial 2 Date: November 9th, 2023 Time: 11-12 Place: Mariacka 34/36

Tutorial 3 Date: November 10th, 2023 Time: 11-12 Place: Mariacka 34/36

Two additional lectures:

Date: November 15, 2023 Time: 14:15-15:15 Title: Higher derived limits Place: IMPAN, Warsaw Crosslisted as IMPAN Colloquium

Date: November 17, 2023 Time: 12-13 Title: Place: IMPAN, Warsaw Crosslisted as a talk in Perspectives on Set Theory

Two additional lectures:

Date: December 4th, 2023 Time: 10:00-11:00 Place: IMPAN, Sopot

Date: December 5, 2023 Time: 13-14 Place: University of Gdansk, Room A113

Tutorials by John Steel

Title: Mouse Pairs and Soulsin Cardinals

Tutorial 1 Date: October 23, 2023 Time: 12-13 Place: Mariacka 34/36

Tutorial 2 Date: October 24, 2023 Time: 12-13 Place: Mariacka 34/36

Tutorial 3 Date: October 26, 2023 Time: 17-18 Place: University of Gdansk, Department of Mathematics, Room D003 Crosslisted as Gdansk Logic Colloquim