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