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