### 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

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