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