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

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

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

I guess my spirit is pretty ruined then.

2 likes