Archives
Keywords
transformations countably metacompact 54G20 stationary hitting O-space Martin's Axiom Erdos Cardinal very good scale square Rado's conjecture Respecting tree SNR Uniformization Almost-disjoint family coloring number Minimal Walks Mandelbrot set Forcing Axioms unbounded function stick Fast club Partition Relations Absoluteness HOD Almost countably chromatic Poset Kurepa Hypothesis Precaliber Ascent Path super-Souslin tree Analytic sets Slim tree Iterated forcing Subtle cardinal Knaster and friends PFA Antichain Subadditive P-Ideal Dichotomy Well-behaved magma Was Ulam right GMA Large Cardinals stationary reflection Generalized descriptive set theory xbox Diamond-sharp Ulam matrix Diamond free Souslin tree Greatly Mahlo reflection principles Subtle tree property Coherent tree Filter reflection Generalized Clubs Axiom R L-space Singular Density square principles incompactness strongly bounded groups Small forcing Microscopic Approach Foundations Constructible Universe Rainbow sets Intersection model weak square weak diamond Distributive tree Chang's conjecture positive partition relation Open Access Almost Souslin indecomposable ultrafilter Shelah's Strong Hypothesis Club Guessing Ostaszewski square free Boolean algebra specializable Souslin tree Singular cofinality Fat stationary set Postprocessing function polarized partition relation Cohen real Reflecting stationary set Jonsson cardinal full tree Prikry-type forcing Commutative projection system middle diamond Amenable C-sequence Souslin Tree Vanishing levels nonmeager set AIM forcing Erdos-Hajnal graphs Forcing approachability ideal Fodor-type reflection Strongly Luzin set higher Baire space Chromatic number Commutative cancellative semigroups diamond star PFA(S)[S] Strong coloring regressive Souslin tree Ramsey theory over partitions Dushnik-Miller Singular cardinals combinatorics S-Space ZFC construction Whitehead Problem club_AD Universal Sequences C-sequence Rock n' Roll Sigma-Prikry Cardinal Invariants projective Boolean algebra Hindman's Theorem Hedetniemi's conjecture Reduced Power Successor of Singular Cardinal Hereditarily Lindelöf space Sakurai's Bell inequality Nonspecial tree Uniformly homogeneous Selective Ultrafilter sap Lipschitz reduction ccc Non-saturation weak Kurepa tree Ineffable cardinal Local Club Condensation. Weakly compact cardinal Parameterized proxy principle Prevalent singular cardinals Diamond for trees Strongly compact cardinal Square-Brackets Partition Relations OCA Knaster Cardinal function Luzin set Countryman line Successor of Regular Cardinal b-scale Uniformly coherent Subnormal ideal tensor product graph Dowker space Sierpinski's onto mapping principle Aronszajn tree Closed coloring
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
