BGU seminar in Logic, Set Theory and Topology
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.