Archives
Keywords
S-Space Diamond-sharp Fat stationary set Knaster free Boolean algebra Sigma-Prikry Commutative cancellative semigroups strongly bounded groups b-scale Poset Precaliber Nonspecial tree Strong coloring C-sequence Partition Relations transformations polarized partition relation Closed coloring Almost Souslin Erdos-Hajnal graphs ccc Microscopic Approach Club Guessing Subtle cardinal projective Boolean algebra Open Access higher Baire space diamond star xbox club_AD Kurepa Hypothesis regressive Souslin tree Vanishing levels Was Ulam right weak square Subtle tree property Amenable C-sequence Coherent tree Lipschitz reduction Large Cardinals Chromatic number Erdos Cardinal Universal Sequences Chang's conjecture P-Ideal Dichotomy Uniformly homogeneous Antichain Minimal Walks Rado's conjecture Non-saturation Diamond for trees Fodor-type reflection PFA Singular cardinals combinatorics Small forcing Mandelbrot set Axiom R approachability ideal Prikry-type forcing Filter reflection Knaster and friends Subnormal ideal ZFC construction tensor product graph square Ineffable cardinal Hereditarily Lindelöf space reflection principles free Souslin tree L-space full tree middle diamond Greatly Mahlo weak diamond very good scale Ostaszewski square GMA Strongly Luzin set Generalized Clubs PFA(S)[S] nonmeager set Dowker space O-space Almost-disjoint family positive partition relation indecomposable ultrafilter sap Sakurai's Bell inequality Square-Brackets Partition Relations Fast club HOD Absoluteness Cohen real stick Hindman's Theorem Whitehead Problem Rainbow sets Cardinal Invariants Souslin Tree Forcing Distributive tree Local Club Condensation. Jonsson cardinal Iterated forcing Uniformization specializable Souslin tree Ulam matrix countably metacompact Singular cofinality Successor of Regular Cardinal Dushnik-Miller Martin's Axiom coloring number Shelah's Strong Hypothesis Reduced Power Singular Density square principles Generalized descriptive set theory Prevalent singular cardinals 54G20 Uniformly coherent Cardinal function Almost countably chromatic Analytic sets Postprocessing function Well-behaved magma Diamond Forcing Axioms stationary reflection Hedetniemi's conjecture Foundations weak Kurepa tree Aronszajn tree incompactness Subadditive Reflecting stationary set Ascent Path super-Souslin tree Selective Ultrafilter Luzin set stationary hitting OCA Successor of Singular Cardinal Weakly compact cardinal Sierpinski's onto mapping principle Slim tree Rock n' Roll unbounded function SNR Ramsey theory over partitions Parameterized proxy principle AIM forcing Constructible Universe
Category Archives: Squares and Diamonds
Diamond on Kurepa trees
Joint work with Ziemek Kostana and Saharon Shelah. Abstract. We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by … Continue reading
Posted in Preprints, Squares and Diamonds
Tagged Diamond, Diamond for trees, Iterated forcing, Kurepa Hypothesis, weak Kurepa tree
Comments Off on Diamond on Kurepa trees
A club guessing toolbox I
Joint work with Tanmay Inamdar. Abstract. Club guessing principles were introduced by Shelah as a weakening of Jensen’s diamond. Most spectacularly, they were used to prove Shelah’s ZFC bound on the power of the first singular cardinal. These principles have … Continue reading
Posted in Preprints, Squares and Diamonds
Tagged Club Guessing
Comments Off on A club guessing toolbox I
A new small Dowker space
Joint work with Roy Shalev and Stevo Todorcevic. Abstract. It is proved that if there exists a Luzin set, or if either the stick principle or $\diamondsuit(\mathfrak b)$ hold, then an instance of the guessing principle $\clubsuit_{AD}$ holds at the … Continue reading
Inclusion modulo nonstationary
Joint work with Gabriel Fernandes and Miguel Moreno. Abstract. A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset $\mathbb P$ with no maximal element, there is a ccc forcing … Continue reading
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if $\mu^{cf(\lambda)}<\lambda$ for all $\mu<\lambda$, … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
Distributive Aronszajn trees
Joint work with Ari Meir Brodsky. Abstract. Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved that the same conclusion remains … Continue reading
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, square, xbox
1 Comment
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 $\lambda$. Here, it is proved that $\square_\lambda+\diamondsuit(\lambda^+)$ is equivalent to square-with-built-in-diamond_lambda for every singular cardinal $\lambda$. Downloads: Citation information: A. Rinot, Putting a diamond inside … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Diamond, square, Successor of Singular Cardinal
1 Comment
The search for diamonds
Abstract: This is a review I wrote for the Bulletin of Symbolic Logic on the following papers: Saharon Shelah, Middle Diamond, Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. Saharon Shelah, Diamonds, Proceedings of the American Mathematical Society, vol. … Continue reading
Posted in Publications, Reviews, Squares and Diamonds
Tagged Diamond, middle diamond, weak diamond, weak square
1 Comment
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