Kurt Gödel Research Center

2016 seminar talk: Custom-made Souslin trees

Talk held by Ari Brodsky (Bar-Ilan University, Tel Aviv, Israel) at the KGRC seminar on 2016-01-21.

Abstract

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.

Here are the slides for this talk (version of 2016-01-27 including minor corrections).