The Baltic Set Theory Seminar
Online Seminar, IMPAN, Sopot,
Topics:
 (SeptemberOctober) Grigor Sargsyan, A course on large cardinals
 (NovemberDecember) 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.
Lecture 1
Date: November 23, 2023
Time: 16:0017: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:0012:00
Title: The model companion of set theory
Place: IMPAN SOPOT
Lecture 2
Date: December 11, 2023
Time: 11:0012:00
Place: University of Gdansk, Room A113
Lecture 3
Date: December 11, 2023
Time: 12:0013:00
Place: University of Gdansk, Room A113
Lecture 4
Date: December 12, 2023
Time: 14:0015:00
Place: University of Gdansk, Room A113
Lecture 5 Info
Date: December 14, 2023
Time: 17:0018:00
Place: University of Gdansk, Room D003
Title: Inner models from extended logics
Lecture 1 Info
Date: December 7, 2023
Time: 17:0018:00
Place: University of Gdansk, Department of Mathematics, Room D003
Title:Inner models from extended logics
Info: Crosslisted as Gdansk Logic Colloquium
Lecture 2 Info
Date: December 11, 2023
Time: 10:0011:00
Place: University of Gdansk, Room A113
Title: Inner models from extended logics
Lecture 3 Info
Date: December 12, 2023
Time: 13:0014:00
Place: University of Gdansk, Room A113
Title: Inner models from extended logics
Lecture 4 Info
Date: December 14, 2023
Time: 16:0017:00
Place: University of Gdansk, Room D003
Title: Inner models from extended logics
Lecture 1 Info
Date: December 5, 2023
Time: 14:1015:10
Place: University of Gdansk, Room A113
Title: How first order is first order logic?
Lecture 2 Info
Date: December 5, 2023
Time: 15:2016:20
Place: University of Gdansk, Room A113
Title: Extracting syntax from semantics
Lecture 3 Info
Date: December 7, 2023
Time: 16:0017:00
Place: University of Gdansk, Department of Mathematics, Room D003
Title: On the mathematical sublime
Info: Crosslisted as Gdansk Logic Colloquium
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.
Lecture 1 Info
Date: November 20, 2023
Time: 13:3014: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 nonprincipal 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:3014: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 ndimensional 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:3014: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 2n1, and there is no Vitali set.
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 ZFCmodel 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:4517:45
Place: University of Gdansk, Department of Mathematics, Room D003
Crosslisted as Gdansk Logic Colloquim
Tutorial 2
Date: November 3rd, 2023
Time: 1415
Place: Mariacka 34/36
Tutorial 3
Date: November 6, 2023
Time: 1415
Place: Mariacka 34/36
Tutorial 1
Date: November 2nd, 2023
Time: 15:3016:30
Place: University of Gdansk, Department of Mathematics, Room D003
Crosslisted as Gdansk Logic Colloquim
Tutorial 2
Date: November 9th, 2023
Time: 1112
Place: Mariacka 34/36
Tutorial 3
Date: November 10th, 2023
Time: 1112
Place: Mariacka 34/36
Two additional lectures:
Date: November 15, 2023
Time: 14:1515:15
Title: Higher derived limits
Place: IMPAN, Warsaw
Crosslisted as IMPAN Colloquium
Date: November 17, 2023
Time: 1213
Title:
Place: IMPAN, Warsaw
Crosslisted as a talk in Perspectives on Set Theory
Two additional lectures:
Date: December 4th, 2023
Time: 10:0011:00
Place: IMPAN, Sopot
Date: December 5, 2023
Time: 1314
Place: University of Gdansk, Room A113
Tutorial 1
Date: October 23, 2023
Time: 1213
Place: Mariacka 34/36
Tutorial 2
Date: October 24, 2023
Time: 1213
Place: Mariacka 34/36
Tutorial 3
Date: October 26, 2023
Time: 1718
Place: University of Gdansk, Department of Mathematics, Room D003
Crosslisted as Gdansk Logic Colloquim
Topics:
 Matteo Viale, Generic absoluteness theorem for the $\omega_1$ Chang model conditioned to $MM^{+++}$.
 Paul Larson, A course on $AD^+$.
Topics:
 Sandra Mueller, StationaryTowerFree Proof of Woodin’s Sealing Theorem. </td></tr>
 Matteo Viale, Generic absoluteness theorem for the $\omega_1$ Chang model conditioned to $MM^{+++}$.

Notes from Sandra’s talk.
Topics:
 Finish the proof of Neeman’s Handbook Article, Determinacy in L(R).
 Learn a new StationaryTowerFree Proof of Woodin’s Sealing Theorem, which lifts the wellknown absoluteness theorems for L(R) to the collection of the universally Baire sets.
 Learn about virtual models.