Category Archives: Souslin Hypothesis

Higher Souslin trees and the GCH, revisited

Abstract.  It is proved that for every uncountable cardinal λ, GCH+◻(λ+) entails the existence of a cf(λ)-complete λ+-Souslin tree. In particular, if GCH holds and there are no 2-Souslin trees, then 2 is weakly compact in Godel’s constructible universe, improving … Continue reading

Posted in Publications, Souslin Hypothesis | Tagged , , , , , , , | 16 Comments

A microscopic approach to Souslin-tree constructions. Part I

Joint work with Ari Meir Brodsky. Abstract.  We propose a parameterized proxy principle from which κ-Souslin trees with various additional features can be constructed, regardless of the identity of κ. We then introduce the microscopic approach, which is a simple … Continue reading

Posted in Publications, Souslin Hypothesis | Tagged , , , , , , , , , , , | 5 Comments

Reduced powers of Souslin trees

Joint work with Ari Meir Brodsky. Abstract. We study the relationship between a κ-Souslin tree T and its reduced powers Tθ/U. Previous works addressed this problem from the viewpoint of a single power θ, whereas here, tools are developed … Continue reading

Posted in Publications, Souslin Hypothesis | Tagged , , , , , , , , , , , , , | 2 Comments

On guessing generalized clubs at the successors of regulars

Abstract: Konig, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of an higher Souslin tree from the strong guessing principle. Complementary to the author’s work on the validity of diamond and non-saturation … Continue reading

Posted in Publications, Souslin Hypothesis, Squares and Diamonds | Tagged , , , , , , , , , , , | 2 Comments

The Ostaszewski square, and homogeneous Souslin trees

Abstract: Assume GCH and let λ denote an uncountable cardinal. We prove that if ◻λ holds, then this may be  witnessed by a coherent sequence Cαα<λ+ with the following remarkable guessing property: For every sequence Aii<λContinue reading

Posted in Publications, Souslin Hypothesis, Squares and Diamonds | Tagged , , , , , | 5 Comments