### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

Mandelbrot set incompactness Successor of Singular Cardinal Generalized Clubs projective Boolean algebra reflection principles tensor product graph HOD Universal Sequences sap Nonspecial tree Ostaszewski square Small forcing coloring number PFA Kurepa Hypothesis Stevo Todorcevic Jonsson cardinal Prevalent singular cardinals Square-Brackets Partition Relations Distributive tree Singular cardinals combinatorics b-scale weak square Rock n' Roll Foundations Axiom R stationary reflection Souslin Tree Successor of Regular Cardinal Erdos Cardinal Forcing Axioms Whitehead Problem Selective Ultrafilter 11P99 Singular Density Fat stationary set weak diamond free Souslin tree polarized partition relation Almost Souslin Antichain Shelah's Strong Hypothesis specializable Souslin tree Cardinal Invariants middle diamond Constructible Universe P-Ideal Dichotomy Rado's conjecture Erdos-Hajnal graphs Singular coﬁnality L-space 05A17 Reduced Power square principles Commutative cancellative semigroups Chang's conjecture Aronszajn tree Ascent Path approachability ideal Hindman's Theorem Partition Relations Sakurai's Bell inequality PFA(S)[S] Luzin set super-Souslin tree Hedetniemi's conjecture diamond star ccc very good scale Uniformization Fodor-type reflection Club Guessing Coherent tree Poset Large Cardinals square Microscopic Approach Postprocessing function Slim tree Non-saturation Hereditarily Lindelöf space S-Space Almost-disjoint famiy Rainbow sets stationary hitting Cardinal function Fast club Forcing Diamond Almost countably chromatic Absoluteness free Boolean algebra Parameterized proxy principle Prikry-type forcing Dushnik-Miller Minimal Walks Knaster xbox Weakly compact cardinal Uniformly coherent Cohen real OCA Chromatic number Martin's Axiom

# Category Archives: Souslin Hypothesis

## A remark on Schimmerling’s question

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

## A forcing axiom deciding the generalized Souslin Hypothesis

Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, … Continue reading

Posted in Preprints, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
Leave a comment

## More notions of forcing add a Souslin tree

Joint work with Ari Meir Brodsky. Abstract. An $\aleph_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

## Higher Souslin trees and the GCH, revisited

Abstract. It is proved that for every uncountable cardinal $\lambda$, GCH+$\square(\lambda^+)$ entails the existence of a $\text{cf}(\lambda)$-complete $\lambda^+$-Souslin tree. In particular, if GCH holds and there are no $\aleph_2$-Souslin trees, then $\aleph_2$ is weakly compact in Godel’s constructible universe, improving … Continue reading

Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, Souslin Tree, square, Weakly compact cardinal, xbox
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 $\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 … Continue reading

Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E65, 05C05, Coherent tree, Diamond, Microscopic Approach, Parameterized proxy principle, Slim tree, Souslin Tree, square, xbox
4 Comments

## Reduced powers of Souslin trees

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

## 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

## The Ostaszewski square, and homogeneous Souslin trees

Abstract: Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $\left\langle C_\alpha \mid \alpha<\lambda^+\right\rangle$ with the following remarkable guessing property: For every sequence $\langle A_i\mid i<\lambda\rangle$ … Continue reading

Posted in Publications, Souslin Hypothesis, Squares and Diamonds
Tagged 03E05, 03E35, Club Guessing, Fat stationary set, Ostaszewski square, Souslin Tree
5 Comments