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

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