### 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
- 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
- Partitioning the club guessing January 22, 2014

### Keywords

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