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