Blog Archives

Proxy principles in combinatorial set theory

Joint work with Ari Meir Brodsky and Shira Yadai. Abstract. The parameterized proxy principles were introduced by Brodsky and Rinot in a 2017 paper as new foundations for the construction of κ-Souslin trees in a uniform way that does not … Continue reading

Posted in Preprints, Souslin Hypothesis | Tagged , , , , , , , | 1 Comment

A microscopic approach to Souslin-tree constructions. Part II

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 -based constructions of Souslin trees with various additional properties may be rendered as applications of … Continue reading

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

A remark on Schimmerling’s question

Joint work with Ari Meir Brodsky. Abstract. Schimmerling asked whether ◻λ together with GCH entails the existence of a λ+-Souslin tree, for a singular cardinal λ. Here, we provide an affirmative answer under the additional assumption that there exists a … Continue reading

Posted in Publications, Souslin Hypothesis | Tagged , , , , , , , , , , | 1 Comment

Distributive Aronszajn trees

Joint work with Ari Meir Brodsky. Abstract.  Ben-David and Shelah proved that if λ is a singular strong-limit cardinal and 2λ=λ+, then ◻λ entails the existence of a λ-distributive λ+-Aronszajn tree. Here, it is proved that the same conclusion remains … Continue reading

Posted in Publications, Squares and Diamonds | Tagged , , , , , , , , , | 1 Comment

More notions of forcing add a Souslin tree

Joint work with Ari Meir Brodsky. Abstract.   An 1-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing … Continue reading

Posted in Publications, Souslin Hypothesis | Tagged , , , , | 2 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