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