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

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