Archives
Keywords
weak Kurepa tree reflection principles Greatly Mahlo Closed coloring Martin's Axiom positive partition relation polarized partition relation Sigma-Prikry Generalized descriptive set theory weak diamond stationary hitting Successor of Singular Cardinal Parameterized proxy principle super-Souslin tree Square-Brackets Partition Relations Strongly Luzin set Selective Ultrafilter Knaster and friends Ineffable cardinal club_AD Uniformly homogeneous b-scale ZFC construction Ascent Path Large Cardinals Analytic sets PFA Weakly compact cardinal L-space Ulam matrix Almost Souslin Forcing GMA Absoluteness very good scale Successor of Regular Cardinal 54G20 xbox indecomposable ultrafilter Club Guessing Universal Sequences strongly bounded groups Reduced Power ccc Uniformly coherent full tree Reflecting stationary set Minimal Walks square principles Hedetniemi's conjecture Well-behaved magma Knaster Ramsey theory over partitions Cohen real Nonspecial tree Singular Density Chang's conjecture Aronszajn tree Local Club Condensation. Fodor-type reflection Coherent tree Hindman's Theorem Almost countably chromatic square Uniformization weak square stationary reflection approachability ideal Prikry-type forcing Postprocessing function Luzin set Diamond P-Ideal Dichotomy free Boolean algebra Foundations Partition Relations projective Boolean algebra middle diamond Whitehead Problem higher Baire space stick Antichain Subadditive nonmeager set Iterated forcing Commutative cancellative semigroups Subnormal ideal diamond star Small forcing Precaliber Rado's conjecture Singular cardinals combinatorics S-Space Strong coloring specializable Souslin tree incompactness Fast club Prevalent singular cardinals Almost-disjoint family Sierpinski's onto mapping principle PFA(S)[S] transformations Souslin Tree Constructible Universe Cardinal function Subtle cardinal sap Amenable C-sequence countably metacompact Generalized Clubs Fat stationary set Dowker space Vanishing levels Jonsson cardinal free Souslin tree OCA Poset Chromatic number Cardinal Invariants SNR Lipschitz reduction Distributive tree Ostaszewski square Hereditarily Lindelöf space Subtle tree property Shelah's Strong Hypothesis Kurepa Hypothesis Forcing Axioms O-space Was Ulam right Open Access coloring number regressive Souslin tree Sakurai's Bell inequality Filter reflection Diamond for trees unbounded function C-sequence Mandelbrot set Diamond-sharp HOD AIM forcing Axiom R tensor product graph Erdos-Hajnal graphs Erdos Cardinal Non-saturation Rainbow sets Microscopic Approach Singular cofinality Slim tree Rock n' Roll Dushnik-Miller
Tag Archives: Souslin Tree
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, Open Access, regressive Souslin tree, 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 Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E65, 05C05, Coherent tree, Diamond, Microscopic Approach, Parameterized proxy principle, Slim tree, Souslin Tree, square, xbox
5 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
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
The P-Ideal Dichotomy and the Souslin Hypothesis
John Krueger is visiting Toronto these days, and in a conversation today, we asked ourselves how do one prove the Abraham-Todorcevic theorem that PID implies SH. Namely, that the next statement implies that there are no Souslin trees: Definition. The … Continue reading
Jensen’s diamond principle and its relatives
This is chapter 6 in the book Set Theory and Its Applications (ISBN: 0821848127). Abstract: We survey some recent results on the validity of Jensen’s diamond principle at successor cardinals. We also discuss weakening of this principle such as club … Continue reading