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