The Toronto Set Theory Seminar is normally held on Fridays, from 1:30 to 3pm, in room 210 of the Fields Institute. For listing of talks from years earlier than 2006, see this page.

## Dana Bartosova: When can we act freely?

Place: Fields Institute (Stewart Library)

Date: May 19, 2017 (13:30-15:00)

Speaker: Dana Bartosova, CMU

Title: When can we act freely?

Abstract:  A topological group admits a free action if there is a compact
Hausdorff space on which the group acts without fixed points. I will
discuss this notion and explain how to translate it into colourings of
graphs and Ramsey type properties.

## Fulgencio Lopez: A result of Dzamonja with construction schemes

Place: Fields Institute (Room 210)

Date: May 5, 2017 (14:20-15:00)

Speaker: Fulgencio Lopez, University of Toronto

Title: A result of Dzamonja with construction schemes

Abstract: We present a proof with construction schemes of the following result of Mirna Dzamonja: Forcing a Cohen real adds a Banach space of density $\omega_1$ which does not isomorphically embed in any ground model Banach space of density $\omega_1$.

## Sergio Garcia-Balan: The star-Menger property on $\Psi$-spaces

Place: Fields Institute (Room 210)

Date: May 5, 2017 (13:30-14: 10)

Speaker: Sergio Garcia- Balan, York University

Title: The star-Menger property on $\Psi$-spaces

Abstract: Bonanzinga and Matveev showed that the space $\Psi(\mathcal{A})$ is strongly star-Menger if and only if $|\mathcal{A}|<\mathfrak{d}$. We will discuss what can be said about the star-Menger property on $\Psi(\mathcal{A})$.

## Alessandro Vignati: Set theoretical dichotomies in the theory of continuous quotients

Place: Fields Institute (Room 210)

Date: April 28, 2017 (13:30-15:00)

Speaker: Alessandro Vignati, York University

Title: Set theoretical dichotomies in the theory of continuous quotients

Abstract: We state and (depending on time) prove some dichotomies of set theoretical nature arising in the theory of continuous quotients. In particular we show that the assumption of CH on one side, and of Forcing Axioms on the other, affects the nature of possible embeddings of certain corona algebras, as well as the behavior of their automorphisms group. This is partly joint work with P. McKenney.

## Ari Brodsky: Distributive Aronszajn trees

Place: Fields Institute (Room 210)

Date: April 21, 2017 (13:30-15:00)

Speaker: Ari Brodsky, Bar-Ilan University

Title: Distributive Aronszajn trees

Abstract: We address a conjecture asserting that, assuming GCH, for every singular cardinal $\lambda$, if there exists a $\lambda^+$-Aronszajn tree, then there exists one which is moreover $\lambda$-distributive.A major component of this work is the study of postprocessing functions and their effect on square sequences. This is joint work with Assaf Rinot

## Francisco Guevarra Parra: An application of the the Ultra-Ellentuck theorem

Place: Fields Institute (Room 210)

Date: April 7, 2017 (14:15-15:00)

Speaker: Francisco Guevara Parra

Title: An application of the the Ultra-Ellentuck theorem

Abstract: We will use the Ultra-Ellentuck theorem to construct countable
local $\pi$-bases in a given sequential-definable topology on $\omega$
that is $p^+$ (or $\alpha_4$ if we replace sequential by Frechet).

## Yuan Yuan Zheng: The Ehrenfeucht Game

Place: Fields Institute (Room 210)

Date: April 7, 2017 (13:30-14:15)

Speaker: Yuan Yuan Zheng, University of Toronto

Title: The Ehrenfeucht Game

Abstract: The Ehrenfeucht Game is interesting in its own right as a game.
It was originally a method given by Roland Fraïssé to verify elementarily
equivalence. It was reformulated as a game by Andrzej Ehrenfeucht. We will
define the game, see how it plays a role in deciding whether a property is
first order expressible, and give a vague idea of how it relates to the
Zero-One Law.

## Timothy Trujillo: Parametrizing by the Ellentuck space

Place: Fields Institute (Room 210)

Date: March 31, 2017 (13:30-15:00)

Speaker: Timothy Trujillo, Colorado School of Mines

Title: Parametrizing by the Ellentuck space

Abstract: We introduce a new construct that can be used to parametrize some
topological Ramsey spaces by the collection of inﬁnite subsets of the natural
numbers. We show that these parametrized spaces are also topological Ramsey spaces.Then we use these spaces to give new proofs of some known parametrized perfect set theorems. We conclude with a discussion of how to extend the results to the abstract setting and open questions related to applying the results to the Tukey theory of ultraﬁlters.

## Zoltán Vidnyánszky: Anti-basis results for graphs of infinite Borel chromatic number

Place: Fields Institute (Room 210)

Date: March 24, 2017 (13:30-15:00)

Speaker: Zoltán Vidnyánszky, York University

Title: Anti-basis results for graphs of infinite Borel chromatic number

Abstract: One of the most interesting results of Borel graph combinatorics is the $G_0$ dichotomy, i. e., the fact that a Borel graph has uncountable Borel chromatic number if and only if it contains a Borel homomorphic image of a graph called $G_0$. It was conjectured that an analogous statement could be true for graphs with infinite Borel chromatic number. Using descriptive set theoretic methods we answer this question and a couple of similar questions negatively, showing that one cannot hope for the existence of a Borel graph whose embeddability would characterize Borel (or even closed) graphs with infinite Borel chromatic number.

## Marcin Sabok: Hyperfiniteness of boundary actions of cubulated hyperbolic groups

Place: Fields Institute (Room 210)

Date: March 3rd, 2017 (13:30-15:00)

Speaker: Marcin Sabok

Title: Hyperfiniteness of boundary actions of cubulated hyperbolic groups

Abstract:  An old result of Dougherty, Jackson and Kechris implies that the
boundary action of the free group F2 induces a hyperfinite equivalence
relation. During the talk, I will discuss generalizations of this theorem
to the class of hyperbolic groups. The examples discussed will include
groups acting properly and cocompactly on CAT(0) cube complexes. This is
joint work with Jingyin Huang and Forte Shinko.