Joint work with Ari Meir Brodsky.
Abstract. In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known
We also present a new construction of a Souslin tree with an ascent path, along the way increasing the consistency strength of such a tree’s nonexistence from a Mahlo cardinal to a weakly compact cardinal.
Section 2 of this paper is targeted at newcomers with minimal background. It offers a comprehensive exposition of the subject of constructing Souslin trees and the challenges involved.
Downloads:
Citation information:
A. M. Brodsky and A. Rinot, A Microscopic approach to Souslin-tree constructions. Part II, Ann. Pure Appl. Logic, 173(2): 102904, 65pp, 2021.
Submitted to Annals of Pure and Applied Logic, January 2020.
Accepted, June 2020.
Boris Šobot of the University of Novi Sad has written a very informative review and summary of this paper for zbMATH:
https://zbmath.org/?q=an%3A7328987
The proof of Lemma 2.5(1) had a glitch, so we reprove it here. . For every , let . Then is a streamlined -tree and constitutes an isomorphism from the Hausdorff tree to .
By applying a bijection, we may assume that