A Microscopic approach to Souslin-tree constructions. Part I

Joint work with Ari Meir Brodsky.

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 uniformly coherent $\kappa$-Souslin tree that applies also for $\kappa$ inaccessible.

We then carry out a systematic study of the consistency of instances of the proxy principle, distinguished by the vector of parameters serving as its input. Among other things, it will be shown that all known $\diamondsuit$-based constructions of $\kappa$-Souslin trees may be redirected through this new proxy principle.


Citation information:

A. M. Brodsky and A. Rinot, A Microscopic approach to Souslin-tree constructions. Part I, Ann. Pure Appl. Logic, 168(11): 1949-2007, 2017.

This entry was posted in Publications, Souslin Hypothesis and tagged , , , , , , , , , , , . Bookmark the permalink.

4 Responses to A Microscopic approach to Souslin-tree constructions. Part I

  1. Pingback: Prolific Souslin trees | Assaf Rinot

  2. Pingback: Square principles | Assaf Rinot

  3. Pingback: More notions of forcing add a Souslin tree | Assaf Rinot

  4. saf says:

    Submitted to Annals of Pure and Applied Logic, December 2015.
    Accepted, May 2017.

Leave a Reply

Your email address will not be published. Required fields are marked *