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

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