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