We shall try to prove some surprising (and hopefully, correct) theorems about the relationship between the club principle (Hebrew: tiltan) and the splitting number, with respect to the classical s at omega and the generalized s at supercompact cardinals.

I'll show how the Vandermonde determinant identity allows us to
estimate the volume of certain spaces of polynomials in one variable
(or rather, of homogeneous polynomials in two variables), as the degree
goes to infinity.
I'll explain what this is good for in the context of globally valued
fields, and, given time constraints, may give some indications on the
approach for the "real inequality" in higher projective dimension.

Better lucky than smart: realizing a quasi-generic class of measure preserving transformations as diffeomorphisms.
Speaker: Matthew Foreman
Abstract: In 1932, von Neumann proposed classifying measure preserving diffeomorphisms up to measure isomorphism. Joint work with B. Weiss
shows this is impossible in the sense that the corresponding equivalence relation is not Borel; hence impossible to capture using countable methods.

It is a familiar fact (sometimes attributed to Ahlbrandt-Ziegler, though it is possibly older) that two aleph0-categorical theories are bi-interpretable if and only if their countable models have isomorphic topological isomorphism groups. Conversely, groups arising in this manner can be given an abstract characterisation, and a countable model of the theory (up to bi-interpretation, of course) can be reconstructed.

In [Sh771] Shelah rediscovered an old result of Dudley on the non-admissibility of a Polish group topology on an uncountable free group. Crucial to his proof is a so-called Compactness Lemma for Polish groups, concerning satisfaction of algebraic equations for certain sequences of group elements converging to 0 (in distance).

The family of high rank arithmetic groups is a class of groups playing an important role in various areas of mathematics. It includes SL(n,Z), for n>2 , SL(n, Z[1/p] ) for n>1, their finite index subgroups and many more.
A number of remarkable results about them have been proven including; Mostow rigidity, Margulis Super rigidity and the Quasi-isometric rigidity.

Weak Prediction Principles
Speaker: Yair Hayut
Abstract: Jensen's diamond is a well studied prediction principle. It holds in L (and other core models), and in many cases it follows from local instances of GCH.
In the talk I will address a weakening of diamond (due to Shaleh and Abraham) and present Abraham's theorem about the equivalence between weak diamond and a weak consequence of GCH. Abraham's argument works for successor cardinals. I will discuss what is known and what is open for inaccessible cardinals.

Dependent theories have now a very solid and well-established collection of results and applications. Beyond first order, the development of "dependency" has been rather scarce so far. In addition to the results due to Kaplan, Lavi and Shelah (dependent diagrams and the generic pair conjecture), I will speak on a few lines of current research around the extraction of indiscernibles for dependent diagrams and on various forms on dependence for abstract elementary classes. This is joint work with Saharon Shelah.

Arbault sets (briefly, A-sets) were first introduced by Jean Arbault in the context of Fourier analysis. One of his major results concerning these sets,asserts that the union of an A-set with a countable set is again an A-set. The next obvious step is to ask what happens if we replace the word "countable" by א_1. Apparently, an א_1 version of Arbault's theorem is independent of ZFC. The aim of this talk would be to give a proof (as detailed as possible) of this independence result. The main ingredients of the proof are infinite combinatorics and some very basic Fourier analysis.

Zilber's trichotomy conjecture, in modern formulation, distinguishes three flavours of geometries of strongly minimal sets --- disintegrated/trivial, modular, and the geometry of an ACF. Each of these three flavours has a classic ``template'' --- a set with no structure, a projective space over a prime field, and an algebraically closed field, respectively. The class of ab initio constructions with which Hrushovski refuted the conjecture features a new flavour of geometries --- non-modular, yet prohibiting any algebraic structure.

The notion of reflection plays a central role in modern Set Theory since the descovering of the well-known Lévy and Montague \textit{Reflection principle}. For any $n\in\omega$, let $C^{(n)}$ denote the class of all ordinals $\kappa$ which correctly interprets the $\Sigma_n$-statements of the universe, with parametes in $V_\kappa$.

Non-equational stable groups.
Speaker: Rizos Sklinos
Abstract: The notion of equationality has been introduced by Srour and further
developed by Pillay-Srour. It is best understood intuitively as a notion
of Noetherianity on instances of first-order formulas. A first-order
theory is equational when every first-order formula is equivalent to a
boolean combination of equations.
Equationality implies stability and for many years these two notions were
identified, as only an "artificial" example of Hrushovski (a tweaked

We will present briefly the "multiverse view" of set theory, advocated by Hamkins, that there are a multitude of set-theoretic universes, and not one background universe, and his proposed "Multiverse Axioms". We will then move on to present the main result of Gitman and Hamkins in their paper "A natural model of the multiverse axioms" - that the countable computably saturated models of ZFC form a "toy model" of the multiverse axioms.

Zilber introduced quasi-minimal classes to generalize the model theory of pseudo exponential
fields. They are equipped with a pregeometry operator and satisfy interesting properties such
as having only countable or co-countable definable sets. Differentially closed fields of
characteristic 0, rich examples of a \omega-stable structures, are good candidates to be
quasiminimal. The difficulty is that a differential equation may have uncountably many
solutions, and thus violate the countable closure requirement of quasiminimal structures.