Place: Fields Institute (Room 210)
Date: May 2nd , 2016 (13:30-15:00)
Speaker: Ari Brodsky
Title: Custom-made Souslin trees
Abstract: We propose a parametrized 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.