Archives of: Bonn Logic Seminar

Monday, May 8, 2017, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Chris Lambie-Hanson (Bar-Ilan)

Title: Constructions from square and diamond, with an application to super-Souslin trees

Abstract. In 1982, Shelah and Stanley proved that, if $\kappa$ is a regular, infinite cardinal, $2^\kappa = \kappa^+$, and there is a $(\kappa^+, 1)$-morass, then there is a $\kappa^{++}$-super-Souslin tree, which is a type of normal $\kappa^{++}$-tree that necessarily has a $\kappa^{++}$-Souslin subtree and continues to do so in any outer model in which $\kappa^{++}$ is preserved and no new subsets of $\kappa$ are present. This result establishes a lower bound of an inaccessible cardinal for the consistency strength of the conjunction of $2^\kappa = \kappa^+$ and Souslin’s Hypothesis at $\kappa^{++}$. In this talk, we will present a method for constructing objects of size $\lambda^+$ from $\square_\lambda + \diamondsuit_\lambda$, where $\lambda$ is a regular, uncountable cardinal. As an application, we will use $\square_{\kappa^+} + \diamondsuit_{\kappa^+}$ to construct a $\kappa^{++}$-super-Souslin tree. For uncountable $\kappa$, this increases Shelah and Stanley’s lower bound from an inaccessible cardinal to a Mahlo cardinal. This is joint work with Assaf Rinot.