The workshop will be held at the University of Illinois at Chicago on October 20-23. Topic will cover forcing, large cardinals, applications of set theory. We will have three tutorials from leading experts and several talks by younger researchers.

The invited speakers are:

Tutorials:

- Matthew Foreman, University of California Irvine
- Menachem Magidor, Hebrew University of Jerusalem
- Justin Moore, Cornell University

Talks:

- Omer Ben Neria, UCLA
- Sherwood Hatchman, UIC
- Maxwell Levine, UIC
- Kostyantyn Slutskyy, UIC
- Nam Trang, UC Irvine
- Anush Tserunyan, UIUC
- Spencer Unger, UCLA

Travel support is available. Requests for such should be directed to **Dima Sinapova** at sinapova@math.uic.edu. Such requests will be handled on a case-by-case basis within the limits of the budget. Graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply.

**Abstracts**

### Tutorials:

- Matt Foreman (UC Irvine)Applications of descriptive set theory to classical dynamical systems
In 1932 von Neumann proposed the project of classifying smooth measure preserving transformations. As part of the project he raised the question of whether every ergodic measure preserving transformation of the unit interval is isomorphic to a diffeomorphism of a manifold.

Despite deep progress on both questions, they remained open until recently. The lecture presents joint work with B. Weiss that shows that the classification problem is impossible to solve–because the associated equivalence relation is not Borel (and moreover is strictly more complicated than any $S^\infty$-action). Along the way the authors made progress on the second problem, by showing that a quasi-generic class of transformations can be realized as diffeomorphisms of the 2-torus. This class is the source of the complexity of the classification problem.

- Menachem Magidor (Jerulasem)Compactness for chromatic numbers and other cardinal sins
A compactness principle is a statement of the form: If every small substructure of a given structure has a certian property, then the whole structure has this property. In this tutorial we shall deal with the property “The graph G has chromatic number <= \kappa”. We shall connect this property with other set theoretical principles, like reflection of stationary sets, give some consistency results using large cardinals and list some interesting open problems.

- Justin Moore (Cornell)Iterated forcing and the Continuum Hypothesis
One of the great successes in set theory in the 1970s and 80s has been the isolation of an optimal hypothesis for iterating forcings while preserving uncountablity. It turns out that while there is a well developed theory of iterating forcings which do not introduce new reals, this theory is necessarily more ad hoc in nature. This tutorial will discuss Shelah’s preservation theorems for not adding reals as well as recently discovered examples which illustrate that these results are, in some sense, sharp.

### Talks:

- Omer Ben Neria (UCLA)The distance between HOD and V
The pursuit of better understanding the universe of set theory V motivated an extensive study of definable inner models M whose goal is to serve as good approximations to V. A common property of these inner models is that they are contained in HOD, the universe of hereditarily ordinal definable sets. Motivated by the question of how “close” HOD is to V, we consider various related forcing methods and survey known and new results. This is a joint work with Spencer Unger.

- Sherwood Hachtman (UIC)Forcing analytic determinacy
The earliest-known tight connection between determinacy and large cardinals is the theorem of Martin and Harrington that $\Sigma^1_1$ determinacy is equivalent to the existence of $0^{\#}$. All known proofs of the forward implication go through Jensen’s Covering Lemma; Harrington asked whether the theorem can be proved just in second-order arithmetic. We discuss progress on Harrington’s question, building in particular on work of Cheng and Schindler showing that the standard proofs of Harrington’s theorem cannot be carried out in any system substantially weaker than fourth-order arithmetic. We also describe a connection with the proper class games recently described by Gitman and Hamkins.

- Maxwell Levine (UIC)Weak Squares and Very Good Scales
The combinatorial properties of large cardinals tend to clash with those satisfied by G\”odel’s constructible universe, especially the square property (denoted $\square_\kappa$) isolated by Jensen in the seventies. Strong cardinal axioms refute the existence of square, but it is possible with some fine-tuning to produce models that exhibit some large cardinal properties together with weakenings of square. In this talk we will exhibit some results along these lines and will outline the techniques used to produce them.

- Kostyantyn Slutskyy (UIC)Space decomposition techniques in Borel dynamics
In recent years a substantial progress has been achieved in the field of Borel dynamics. A part of this progress is due to the development of space decomposition methods. The goal of the talk is to make an overview of the old and new results that have been proved along this path. In particular, we will discuss in various degrees of details the following: Dougherty-Jackson-Kechris classification of hyperfinite Borel equivalence relations, Multi-Tower Rokhlin Lemma for Borel automorphisms and regular cross sections of Borel flows, Lebesgue orbit equivalence of multidimensional flows, and Hochman’s proof of existence of finite generators for compressible automorphisms.

- Nam Trang (UC Irvine)Compactness of $\omega_1$
We investigate various aspects of compactness of $\omega_1$ under ZF + DC. We say that $\omega_1$ is X-supercompact if there is a normal, fine, countably complete nonprincipal measure on $\mathcal P_{\omega_1}(X)$ (in the sense of Solovay). We say $\omega_1$ is X-strongly compact if there is a fine, countably complete nonprincipal measure on $\mathcal P_{\omega_1}(X)$. We discuss various results in constructing and analyzing canonical models of $AD^+$ + $\omega_1$ is (X)-supercompact. We also discuss whether the theories “$\omega_1$ is X-supercompact” and “$\omega_1$ is X-strongly compact” can be equiconsistent for various X.

- Anush Tserunyan (UIUC)

TBA

- Spencer Unger (UCLA)The poor man’s tree property
Motivated by producing a model where no regular cardinal greater than $\aleph_1$ carries a special Aronszajn tree, we prove that from large cardinals it is consistent that $\aleph_{\omega^2}$ is strong limit and there are no special Aronszajn trees on any regular cardinal in the interval $[\aleph_2,\aleph_{\omega^2+3}]$.