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