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.

## Secil Tokgoz: Co-analytic sets of reals and Selection Principles

Place: Fields Institute (Room 210)

Date: April 8th, 2016 (13:30-15:00)

Speaker: Secil Tokgoz

Title: Co-analytic sets of reals  and Selection Principles

Abstract: In this talk we study one of the definable classes in the projective hierarchy, namely the family of co-analytic sets. A subset of a Polish space is called co-analytic if its complement is analytic. We will present some results on co-analytic sets of reals which have combinatorial properties of open covers.

## Antonio Aviles: Compact spaces of the first Baire class

Place: Fields Institute (Room 210)

Date: April 1st, 2016 (13:30-15:00)

Speaker: Antonio Aviles

Title: Compact spaces of the first Baire class

Abstract: A Rosenthal compactum is a pointwise compact set of functions of
the first Baire class on a Polish space. In a sense, the role of Rosenthal
compacta inside the larger class of general compacta is similar to the role
of analytic sets inside the class of general subsets of Polish spaces. Many
pathologies are discarded by their definable nature and structural theorems
appear instead. We will review some facts and we will present more recent
results in collaboration with S. Todorcevic and with A. Poveda and S.
Todorcevic.

## Jeffrey Bergfalk: Strong Homology and Set Theory

Place: Fields Institute (Stewart Library)

Date: March 28th, 2016 (15:30-16:30)

Speaker: Jeffrey Bergfalk

Title: Strong Homology and Set Theory

Abstract: We give some background to a number of independence results surrounding the question of the additivity of strong homology. These results center on the question of the vanishing of the higher derived limits of an inverse system $\mathbb{A}$ indexed by the functions from $\omega$ to $\omega$. Time permitting, we’ll show that $\text{lim}^1\mathbb{A}=0$ if and only if $\text{lim}^1\mathbb{A}_\kappa=0$, where $\mathbb{A}_\kappa$ is $\mathbb{A}$’s generalization to $\omega^\kappa$, with $\kappa>\omega$ arbitrary.

## Justin Moore: There may be no minimal non $\sigma$-scattered linear order

Place: Fields Institute (Stewart Library)

Date: March 28th, 2016 (14:00-15:00)

Speaker: Justin Moore

Title: There may be no minimal non $\sigma$-scattered linear order

Abstract:  In this talk we demonstrate that it is consistent that there is no linear order which is minimal with respect to being non $\sigma$-scattered.This shows a theorem of Laver, which asserts that the $\sigma$-scattered linear orders are well quasi-ordered is sharp. If time permits we will also prove that $PFA^+$ implies that every non $\sigma$-scattered linear order either contains a real type, an Aronszajn type, or a ladder system indexed by a stationary set, equipped with either the lexicographic of reverse lexicographic order. This is joint work with Hossein Lamei Ramandi.

## Iian Smythe: Towards a selective Gowers dichotomy

Place: Fields Institute (Stewart Library)

Date: March 28th, 2016 (13:00-14:00)

Speaker: Iian Smythe

Title: Towards a selective Gowers dichotomy

Abstract: Gowers’ famous dichotomy is an approximate Ramsey theorem for analytic partitions of the space of infinite block sequences in a Banach space, and has been used it to establish important classification results in Banach space theory. In work currently in progress, we attempt to isolate the combinatorial properties of the space of block sequences which enable these constructions, and prove that they can be carried out within  “selective” subfamilies. Under large cardinal assumptions, we extend these results to all definable partitions, with the goal of giving “complete combinatorics” for generic ultrafilters of block sequences.

## Slawomir Solecki: Homogeneity of the pseudoarc and Logic

Place: Fields Institute (Room 210)

Date: March 23rd, 2016 (13:30-15:00)

Speaker: Slawomir Solecki

Title: Homogeneity of the pseudoarc and Logic

Abstract: The pseudoarc can be represented as a canonical quotient of a projective Fraisse limit called the pre-pseudoarc. I will present results on adding and characterizing generic tuples of points to the pre-pseudoarc. I will show how to derive homogeneity of the pseudoarc from these results. I will also include speculations on the maximal possible homogeneity result for the pseudoarc.

## Robert Raphael: The countable lifting property. The case of finite fields

Place: Fields Institute (Room 210)

Date: March 18, 2016 (13:30-15:00)

Speaker: Robert Raphael

Title: The countable lifting property. The case of finite fields

Abstract:

This talk continues the topic discussed in the seminar in the spring of
2015. One is interested in vector lattices (vector spaces with a lattice
structure). Elements u and v of a vector lattice are called disjoint, or
orthogonal if u inf v = 0. Morphisms are linear transformations that
preserve the lattice structure. Suppose that f:V —> W is such a
surjective morphism. One says that one has the countable lifting property
(for f) if every countable set of (pairwise) disjoint elements in W has a
preimage in V which is also pairwise disjoint.

Topping originally established the countable lifting property for vector
lattices over the real field. This was done via a flawed induction and a
counterexample was later provided by Conrad. In joint work with Hager the
countable lifting property was established for maps between rings of the
form C(X) (lifting sets of positive functions).

At the seminar in 2015 the question arose as to whether the countable
lifting property holds for vector lattices over a finite field. The talk
will present details of a counterexample obtained in work with W.D.
Burgess of the University of Ottawa. One will restrict the discussion to
the case of Z_2.

## Yuan Yuan Zheng: Selective Ultrafilters on FIN

Place: Fields Institute (Room 210)

Date: March 11 , 2016 (13:30-15:00)

Speaker: Yuan Yuan Zheng

Title: Selective Ultrafilters on FIN

Abstract: We give a definition of selective ultrafilters on the collection FIN of all finite nonempty subsets of the set N of natural numbers. We prove that if side-by-side Sacks forcing is applied, then every selective ultrafilter in the ground model generates a selective ultrafilter in the extension. We also show that selective ultrafilters witness the Parametrized Milliken Theorem.

## Franklin Tall: Non-metrizable descriptive set theory, generalized metric spaces, and selection principles

Place: Fields Institute (Room 210)

Date: March 4th, 2016 (13:30-15:00)

Speaker: Franklin Tall

Title: Non-metrizable descriptive set theory, generalized metric spaces, and selection principles

Abstract: This is a continuation of my most recent talk, but knowledge of that one is not required. We prove various results about K-analytic, absolute Borel, K-Lusin spaces, etc. and apply them to the question as to which Menger spaces are sigma-compact.

## Ashutosh Kumar: Avoiding equal distances

Place: Fields Institute (Room 210)

Date: February 26, 2016 (13:30-15:00)

Speaker: Ashutosh Kumar

Title: Avoiding equal distances

Abstract: We show that it is consistent to have a non meager set of reals each of whose non meager subsets contains equal distances. We will try to mention some related results and open questions on avoidance problems of similar flavor. Joint work with Shelah.