## David Schrittesser: News on mad families

KGRC Research Seminar  – 2017-06-22 at 4pm.

Speaker: David Schrittesser (University of Copenhagen, Denmark)

Abstract: This talk is about two results on mad families (dating from this year): Firstly, in joint work with Asger Törnquist and Karen Bakke Haga, we link madness of certain definable sets to forcing and use this to show that under the Axiom of Projective Determinacy there are no projective mad families. Moreover, the results generalize: we may replace “being almost disjoint” by “being $J$-disjoint”, for certain ideals $J$ on the natural numbers including, e.g., Fin $\times$ Fin. The other result is an improvement of Horowitz and Shelah’s construction of a Borel maximal eventually different family of functions. We obtain a closed such family, and the result even generalizes to certain compact spaces.

## Diana Carolina Montoya Amaya: Some cardinal invariants of the generalized Baire spaces

The successful PhD defense of Diana Carolina Montoya Amaya took place Wednesday, June 14 at the KGRC. Congratulations!

Abstract: The central topic of this talk is the well-known Cardinal invariants of the continuum and it is divided in two parts: In the first one we focus on the generalization of some of these cardinals to the generalized Baire spaces $\kappa^\kappa$, when $\kappa$ is a regular uncountable cardinal. First, we present a generalization of some of the cardinals in Cichon’s diagram to this context and some of the provable ZFC relationships between them. Further, we study their values in some generic extensions corresponding to $<\!\!\kappa$-support and $\kappa$-support iterations of generalized classical forcing notions. We point out the similarities and differences with the classical case and explain the limitations of the classical methods when aiming for such generalizations. Second, we study a specific model where the ultrafilter number at $\kappa$ is small, $2^\kappa$ is large and in which a larger family of cardinal invariants can be decided and proven to be $<\!2^\kappa$.

The second part deals exclusively with the countable case: We present a generalization of the method of matrix iterations to find models where various constellations in Cichon’s diagram can be obtained and the value of the almost disjointness number can be decided. The method allows us also to find a generic extension where seven cardinals in Cichon’s diagram can be separated.

Board of examiners:

Professor Mirna Džamonja (University of East Anglia)
o.Univ.-Prof. Sy-David Friedman (Universität Wien)
ao.Univ.Prof. Martin Goldstern (TU Wien)

## Dima Sinapova: Iterating Prikry Forcing

Monday, June 26th, 2017, 10.30-12.00

Aula Lagrange, Palazzo Campana, Università di Torino

Speaker: Dima Sinapova (University of Illinois at Chicago)

Title: Iterating Prikry Forcing

Abstract:

We will present an abstract approach of iterating Prikry type forcing. Then we will use it to show that it is consistent to have finite simultaneous stationary reflection at $\kappa^+$ with not SCH at $\kappa$. This extends a result of Assaf Sharon. Finally we will discuss how we can bring the construction down to $\aleph_{\omega}$. This is joint work with Assaf Rinot.

## Stefan Hoffelner: NS saturated and Delta_1-definable

Monday, June 19, 2017, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Stefan Hoffelner (University of Vienna)

Title: NS saturated and Delta_1-definable

Abstract:

Questions which investigate the interplay of the saturation of the nonstationary ideal on $omega_1$, NS, and definability properties of the surrounding universe can yield surprising and deep results. Woodins theorem that in a model with a measurable cardinal where NS is saturated, CH must definably fail is the paradigmatic example. It is another remarkable theorem of H. Woodin that given $omega$-many Woodin cardinals there is a model in which NS is saturated and $omega_1$-dense, which in particular implies that NS is (boldface) $Delta_1$-definable. S.D. Friedman and L. Wu asked whether the large cardinal assumption can be lowered while keeping NS $Delta_1$-definable and saturated. In this talk I will outline a proof that this is indeed the case: given the existence of $M_1^{#}$, there is a model of ZFC in which the nonstationary ideal on $omega_1$ is saturated and $Delta_1$-definable with parameter $K_{omega_2^K}$ (note that $omega_2^K$ is of size $aleph_1$ in that model). In the course of the proof I will present a new coding technique which seems to be quite suitable to obtain definability results in the presence of iterated forcing constructions over inner models for large cardinals.

## Ari Brodsky: ​Constructing free Souslin trees from a proxy principle

BGU seminar in Logic, Set Theory and Topology

Time: Tuesday, June 13th, 12:15-13:30.
Place: Seminar room -101, Math building 58.
Speaker: ​Ari Brodsky (BIU)

Title: ​Constructing free Souslin trees from a proxy principle

Abstract. ​More than 40 years ago, Jensen constructed a free Souslin tree of height $\omega_1$ from $\diamondsuit(\omega_1)$.
We show how to construct a free $\kappa$-Souslin tree, where $\kappa$ is an arbitrary regular uncountable cardinal.
This is joint work with Assaf Rinot.​

## Aleksander Cieślak: Cohen-stable families of subsets of integers

Tuesday, June 13, 2017, 17:15
Wrocław University of Technology, 215 D-1

Speaker: Aleksander Cieślak (Wroclaw University of Science and Technology)

Title: Cohen-stable families of subsets of integers

Abstract:

A mad family is Cohen-stable if it remains maximal in any Cohen generic extension. Otherwise it is Cohen-stable. We will find condition necessary and sufficient for mad family to be Cohen-unstabe and investigate when such family exist.

## Yizheng Zhu: Iterates of M_1

Monday, June 12, 2017, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Yizheng Zhu (University of Münster)

Title: Iterates of M_1

Abstract:

## Assaf Hasson: Strongly dependent henselian fields and ordered abelian groups

​​BGU Seminar in Logic, Set Theory and Topology

Time: Tuesday, June 6th, 12:15-13:30.
Place: Seminar room -101, Math building 58.
Speaker: Assaf Hasson (BGU)

Title: Strongly dependent henselian fields and ordered abelian groups

Abstract:
The strong non-independence property was introduced by Shelah in order to capture, within the class of theories without the independence property (aka dependent theories), an analogue of the class of super-stable theories. Shelah conjectured (roughly) that any infinite field with the strong non-independence property (aka strongly dependent) is either real closed, algebraically closed or supports a definable (henselian) valuation. The conjecture was solved (Johnson) in the very special case of dp-minimal fields, and otherwise remains wide open. In fact, most experts believe the conjecture (replacing “algebraically closed” with “separably closed”) to be true of all fields without the independence property, and the algebraic division line between the two classes of fields remains unclear.

In the talk we will show that strongly dependent ordered abelian groups do have a simple algebraic characterisation, and suggest the interpretability of ordered  abelian groups which are not strongly dependent as a new (not yet fully satisfactory) conjectural division line.

If time allows we will draw from the classification of strongly dependent ordered abelian groups some conclusions concerning strongly dependent henselian fields (e.g., if K is strongly dependent then any henselian valuation v — not necessarily definable — on K has strongly dependent residue field and value group).

The talk will aim to be, more or less, self-contained and little use (if any) will be made of technical model theoretic terms.

Based (mostly) on joint work with Yatir Halevi.