Tutorial Track

C. Conley: Treeable equivalence relations

An equivalence relation is treeable if it is the connectedness relation of an acyclic graph (subject to various definability constraints). This is a surprisingly robust class of equivalence relations, which nevertheless captures sees much of the complexity of the Borel reducibility hierarchy. After collecting various properties, we survey Hjorth's construction of a continuum of incomparable treeable countable Borel equivalence relations, and also investigate methods of establishing treeability.

V. Fischer: Combinatorial Sets of Reals

In these tutorial lectures, we will consider recent advances in the study of the so called combinatorial sets of reals, i.e. sets which are usually associated the combinatorial cardinal characteristics of the continuum. Of particular interest for us will be their spectra, i.e. possible cardinalities, their projective complexity, as well as their higher Baire spaces analogues. The study of those sets is closely accompanied by the development of new forcing techniques, or significant advancements of already existing ones, on which we will comment (to a various degree) throughout the lectures.

slides I, slides II, slides III,

A. Kwiatkowska: Compact connected spaces via the projective Fraisse limit constructions

We discuss the projective Fraisse limit construction introduced by Irwin and Solecki. They applied it to give a new construction of the pseudo-arc and to show projective homogeneity and universality results of that space. Irwin and Solecki obtained the pseudo-arc as the topological realization of the projective Fraisse limit of the family of finite linear graphs.

Since then a number of continua (compact connected spaces) or more generally compact spaces were obtained using the projective Fraisse limit construction or its variants, and their homeomorphism groups were studied. Examples include: the Lelek fan, the Menger curve, the universal Knaster continuum or the Poulsen simplex. Moreover, continua unknown before were discovered using these methods. In the series of talks I will give an overview on the current state of the art on this topic.

slides I slides II slides III

A. Rinot: Club-Guessing

In Part I, we shall present the basic club-guessing principle $CG(S)$, and prove that it holds for $S:=E^\kappa_\theta$ (the set of all ordinals below $\kappa$ of cofinality $\theta$) provided that $\theta<\kappa$ are regular uncountable cardinals and $\theta^+<\kappa$. An ad-hoc treatment of the case $\theta=\aleph_0$ will be given, and raising the concept of Relative club-guessing. We shall also present postprocessing functions, and compare Ulam matrices with a coloring obtained by Sirepinski under a GCH-type assumption, motivating an application of club-guessing that will appear in the second lecture.

In Part II, we shall construct an optimal Sirepinski-type coloring in ZFC, using pcf scales and club-guessing. We then move on to address the extreme case of $CG(E^\kappa_\theta)$ where $\kappa=\theta^+$. This inevitably leads to the introduction of the Idealized guessing principle $CG(S,\vec J)$, which in turn requires the study of Amenable $C$-sequences and nonconservative postprocessing functions. As an application, we waive an uncountability assumption from the first lecture, proving that $CG(E^\kappa_\theta)$ holds for every pair $\theta<\kappa$ of infinite regular cardinals such that $\theta^+<\kappa$.

In Part III, we combine idealized club-guessing with relative guessing, resulting in the principle $CG(S,T,\vec J)$. We explain how Partitioned club-guessing can compensate for the inevitable shift to idealized $CG$. We show how anti-large-cardinal hypotheses on $\theta$ or on $\kappa$ imply that a given witness to $CG(E^\kappa_\theta,T,\vec J)$ may be partitioned, and examine the impact of the sequence of ideals $\vec J$ on one's ability to partition. This leads to a Solovay-type decomposition theorem for club-guessing and to a general discussion on how to move from $CG(S,T,\vec J)$ to $CG(S',T',\vec{J'})$. Combining all the acquired machinery, we conclude that for every cardinal $\lambda\ge\beth_\omega$ such that $\square(\lambda^+)$ holds, $CG(S,T,\langle J^{\text{bd}}[\delta]\mid \delta\in S\rangle)$ holds for all stationary subsets $S,T$ of $\lambda^+$.

slides I, slides II, slides III

Research Track

SpeakerTitleAbstract/Slides
Szymon ŻeberskiRectangle insideabstract slides
Adam BartošConstructing compacta from relations between finite graphs slides
Mariam BeriashviliOn some methods of extending measuresabstract slides
Rodrigo CarvalhoPartitons in topological spaces and guessing principlesabstract slides
David ChodounskyImportant closing remarks slides
Aleksander CieślakTrees, Marczewski ideals and Cohen reals slides
Matheus Duzi Ferreira CostaInfinitely ludic categoriesabstract slides
Michał DybowskiThe Axiom of Choice and maximal $\delta$-separated setsabstract slides
Azul Lihuen FataliniPartitioning $\mathbb{R}^3$ in unit circlesabstract slides
Ido FeldmanSums of triples in Abelian groupsabstract slides
Maciej KorpalskiCountable discrete extensions of compact lines slides
Ziemowit KostanaTopological universality of the automorphism groups of uncountable Fraisse limitsabstract slides
Kacper KucharskiSome remarks on the projective properties of Menger and Hurewiczabstract slides
Adam MartonSmallest subfamilies of meager ideals ensuring P-like propertiesabstract slides
Łukasz MazurkiewiczIdeal analytic setsabstract slides
Marcin MichalskiSquare insideabstract slides
Aleksandar PavlovićOn weaker types of continuity with a little help of idealsabstract slides
Robert RalowskiGroup actions on Polish spacesabstract slides
Kamil RyduchowskiOn antiramsey colorings and geometry of Banach spacesabstract slides
Salvatore ScampertiInjective Continuous Reduction on the Borel subsets of the Baire space.abstract slides
Lukas SchembeckerUniversally Sacks-indestructible combinatorial families of realsabstract slides
Roy ShalevThe small Dowker space problemabstract slides
Damian SobotaRandom forcing, convergence of measures, and cofinality of Boolean algebras slides
Šárka StejskalováGuessing models and forcing axioms slides
Dávid UhrikThe Uncountable Hadwiger Conjecture and Non-special Treesabstract
Thilo WeinertOn Wetzelian problemsabstract
Wolfgang WohofskyBranches through and games on base matrices
Krzysztof ZakrzewskiOn $\kappa$-Corson compact spaces and related classes of compact spacesabstract slides

Sponsors/Organizers