BGU Seminar in Logic, Set Theory and Topology.
Time: Tuesday, May 24th, 12:30-13:45.
Title: Custom-made Souslin trees
We propose a parameterized proxy principle from which $\kappa$-Souslin trees with various additional features can be constructed, regardless of the identity of $\kappa$. We then introduce the *microscopic approach*, which is a simple method for deriving trees from instances of the proxy principle. As a demonstration, we give a construction of a coherent $\kappa$-Souslin tree that applies also for $\kappa$ inaccessible.