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

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