While traveling downtown today, I came across a sign near a local church, with a quotation of Saint-Exupéry:

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

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

I guess my spirit is pretty ruined then.