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

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