Archives
Keywords
diamond star Forcing ccc Closed coloring approachability ideal Aronszajn tree Open Access Chromatic number Absoluteness Generalized Clubs Subtle tree property Ascent Path square Jonsson cardinal Selective Ultrafilter club_AD Antichain S-Space Strongly Luzin set Minimal Walks Microscopic Approach Diamond for trees unbounded function Subtle cardinal Singular cardinals combinatorics Square-Brackets Partition Relations Poset countably metacompact SNR Nonspecial tree Universal Sequences Lipschitz reduction Axiom R 54G20 C-sequence Uniformly homogeneous Club Guessing Respecting tree reflection principles Uniformization Well-behaved magma tensor product graph Erdos Cardinal Rado's conjecture Countryman line Mandelbrot set Diamond-sharp Subadditive Commutative cancellative semigroups O-space Almost countably chromatic Ramsey theory over partitions Erdos-Hajnal graphs Fat stationary set Intersection model Subnormal ideal sap Coherent tree Amenable C-sequence Strong coloring Entangled linear order Slim tree Strongly compact cardinal Prevalent singular cardinals Successor of Regular Cardinal super-Souslin tree Ascending path PFA(S)[S] stationary hitting specializable Souslin tree PFA xbox Generalized descriptive set theory incompactness Partition Relations stick Diamond ZFC construction Almost Souslin square principles Singular Density Cardinal Invariants Successor of Singular Cardinal free Boolean algebra free Souslin tree strongly bounded groups Parameterized proxy principle Monotonically far Cardinal function Forcing with side conditions Reduced Power transformations nonmeager set Sierpinski's onto mapping principle b-scale Commutative projection system Vanishing levels Constructible Universe higher Baire space Partition relations for trees Dowker space Forcing Axioms Weakly compact cardinal Filter reflection Prikry-type forcing Large Cardinals Ostaszewski square Fodor-type reflection Souslin Tree Shelah's Strong Hypothesis HOD Ineffable cardinal Was Ulam right? very good scale Knaster Non-saturation Kurepa Hypothesis middle diamond L-space Greatly Mahlo Interval topology on trees full tree Analytic sets projective Boolean algebra Hindman's Theorem Sigma-Prikry Ulam matrix Cohen real stationary reflection Uniformly coherent perfectly normal Reflecting stationary set GMA positive partition relation Small forcing Sakurai's Bell inequality regressive Souslin tree Iterated forcing Whitehead Problem Rock n' Roll Dushnik-Miller coloring number Knaster and friends OCA Chang's conjecture indecomposable filter Almost-disjoint family Martin's Axiom Hedetniemi's conjecture P-Ideal Dichotomy Precaliber AIM forcing Singular cofinality Luzin set Hereditarily Lindelöf space Fast club weak square weak Kurepa tree polarized partition relation Distributive tree Local Club Condensation. Foundations Postprocessing function Rainbow sets weak diamond
Author Archives: Assaf Rinot
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
The reflection principle $R_2$
A few years ago, in this paper, I introduced the following reflection principle: Definition. $R_2(\theta,\kappa)$ asserts that for every function $f:E^\theta_{<\kappa}\rightarrow\kappa$, there exists some $j<\kappa$ for which the following set is nonstationary: $$A_j:=\{\delta\in E^\theta_\kappa\mid f^{-1}[j]\cap\delta\text{ is nonstationary}\}.$$ I wrote there … Continue reading
Posted in Blog
Tagged reflection principles, square, stationary reflection, Weakly compact cardinal
Comments Off on The reflection principle $R_2$
Ordinal definable subsets of singular cardinals
Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. A remarkable result by Shelah states that if $\kappa$ is a singular strong limit cardinal of uncountable cofinality then there is a subset $x$ of $\kappa$ such … 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
Square with built-in diamond-plus
Joint work with Ralf Schindler. Abstract. We formulate combinatorial principles that combine the square principle with various strong forms of diamond, and prove that the strongest amongst them holds in $L$ for every infinite cardinal. As an application, we prove that … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Almost Souslin, diamond star, Kurepa Hypothesis, Minimal Walks, Respecting tree, square, xbox
1 Comment
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
The Apter-Gitik birthday conference, May 2015
I give an invited (blackboard) talk at the Apter-Gitik birthday conference, Carnegie Mellon University, May 30-31 2015. Title: Putting a diamond inside the square. Abstract: By a 35-year-old theorem of Shelah, $\square_\lambda+\diamondsuit(\lambda^+)$ does not imply square-with-built-in-diamond_lambda for regular uncountable cardinals … Continue reading
Posted in Invited Talks
Leave a comment
