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