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