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