### Archives

### Recent blog posts

- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014
- Partitioning the club guessing January 22, 2014

### Keywords

Forcing Ostaszewski square Distributive tree PFA(S)[S] S-Space Almost countably chromatic Cardinal function Club Guessing Non-saturation polarized partition relation Mandelbrot set Parameterized proxy principle Large Cardinals Erdos-Hajnal graphs Generalized Clubs very good scale projective Boolean algebra weak diamond Hereditarily Lindelöf space Singular Density Rock n' Roll L-space Absoluteness Rainbow sets Antichain PFA Prevalent singular cardinals Rado's conjecture Souslin Tree coloring number Fat stationary set Knaster Small forcing Aronszajn tree Axiom R Reduced Power Hindman's Theorem free Boolean algebra Successor of Singular Cardinal OCA Almost-disjoint famiy Uniformization Commutative cancellative semigroups Singular cardinals combinatorics Diamond Square-Brackets Partition Relations Sakurai's Bell inequality Prikry-type forcing Ascent Path 05A17 approachability ideal Nonspecial tree Erdos Cardinal Stevo Todorcevic sap Fodor-type reflection Hedetniemi's conjecture Constructible Universe Chromatic number Weakly compact cardinal Universal Sequences square principles Singular coﬁnality P-Ideal Dichotomy Jonsson cardinal Dushnik-Miller 11P99 Cohen real Foundations ccc stationary hitting Whitehead Problem Cardinal Invariants middle diamond tensor product graph Uniformly coherent Successor of Regular Cardinal weak square Shelah's Strong Hypothesis diamond star Martin's Axiom Minimal Walks Coherent tree Fast club xbox 20M14 Microscopic Approach Poset b-scale reflection principles Postprocessing function Partition Relations Luzin set square Kurepa Hypothesis Chang's conjecture Forcing Axioms incompactness Slim tree Selective Ultrafilter stationary reflection Almost Souslin HOD super-Souslin tree

# 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