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