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