### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- 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

### Keywords

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