### Archives

### Recent blog posts

- 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
- Partitioning the club guessing January 22, 2014

### Keywords

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

# Tag Archives: Souslin Tree

## Set Theory and its Applications in Topology, September 2016

I gave an invited talk at the Set Theory and its Applications in Topology meeting, Oaxaca, September 11-16, 2016. The talk was on the $\aleph_2$-Souslin problem. If you are interested in seeing the effect of a jet lag, the video is … Continue reading

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

## Prikry forcing may add a Souslin tree

A celebrated theorem of Shelah states that adding a Cohen real introduces a Souslin tree. Are there any other examples of notions of forcing that add a $\kappa$-Souslin tree? and why is this of interest? My motivation comes from a … 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

## Prolific Souslin trees

In a paper from 1971, Erdos and Hajnal asked whether (assuming CH) every coloring witnessing $\aleph_1\nrightarrow[\aleph_1]^2_3$ has a rainbow triangle. The negative solution was given in a 1975 paper by Shelah, and the proof and relevant definitions may be found … Continue reading

Posted in Blog, Expository
Tagged Rainbow sets, Souslin Tree, Square-Brackets Partition Relations
Leave a comment

## 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 Preprints, Souslin Hypothesis
Tagged 03E05, 03E35, 03E65, 05C05, Coherent tree, Diamond, Microscopic Approach, Parameterized proxy principle, Slim tree, Souslin Tree, square, xbox
3 Comments

## P.O.I. Workshop in pure and descriptive set theory, September 2015

I gave an invited talk at the P.O.I Workshop in pure and descriptive set theory, Torino, September 26, 2015. Title: $\aleph_3$-trees. Abstract: We inspect the constructions of four quite different $\aleph_3$-Souslin trees.

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

## Forcing and its Applications Retrospective Workshop, April 2015

I gave an invited talk at Forcing and its Applications Retrospective Workshop, Toronto, April 1st, 2015. Title: A microscopic approach to Souslin trees constructions Abstract: We present an approach to construct $\kappa$-Souslin trees that is insensitive to the identity of … Continue reading

Posted in Invited Talks
Tagged Microscopic Approach, Parameterized proxy principle, Souslin Tree
Leave a comment

## Forcing with a Souslin tree makes $\mathfrak p=\omega_1$

I was meaning to include a proof of Farah’s lemma in my previous post, but then I realized that the slick proof assumes some background which may worth spelling out, first. Therefore, I am dedicating a short post for a … Continue reading