While traveling downtown today, I came across a sign near a local church, with a quotation of Saint-Exupéry:
“Pure logic is the ruin of the spirit”? So sad.
Archives
Keywords
weak square Microscopic Approach PFA(S)[S] Ineffable cardinal Almost Souslin Ramsey theory over partitions Subtle cardinal Iterated forcing Almost-disjoint family very good scale incompactness Reflecting stationary set PFA coloring number Cardinal Invariants regressive Souslin tree Non-saturation Dushnik-Miller Chang's conjecture Singular cofinality free Boolean algebra club_AD Slim tree Subadditive square principles Lipschitz reduction Strongly compact cardinal Vanishing levels Strongly Luzin set Knaster and friends Sierpinski's onto mapping principle Respecting tree Successor of Regular Cardinal Erdos Cardinal Filter reflection stationary reflection Knaster Analytic sets middle diamond Uniformization Hindman's Theorem Diamond for trees full tree Precaliber Parameterized proxy principle Strong coloring Hedetniemi's conjecture Fast club indecomposable filter OCA Square-Brackets Partition Relations Uniformly homogeneous HOD Diamond-sharp Erdos-Hajnal graphs Local Club Condensation. sap Was Ulam right? Partition Relations Generalized descriptive set theory Selective Ultrafilter Commutative projection system Aronszajn tree Postprocessing function Whitehead Problem polarized partition relation Ascent Path Closed coloring square diamond star Small forcing L-space free Souslin tree Poset Shelah's Strong Hypothesis Intersection model unbounded function Minimal Walks Coherent tree nonmeager set Martin's Axiom approachability ideal countably metacompact super-Souslin tree Nonspecial tree Prikry-type forcing GMA Cardinal function Fat stationary set strongly bounded groups O-space Ostaszewski square Jonsson cardinal Greatly Mahlo Subnormal ideal weak diamond specializable Souslin tree b-scale stationary hitting C-sequence Reduced Power Foundations 54G20 ZFC construction Chromatic number positive partition relation Sigma-Prikry Countryman line ccc xbox Successor of Singular Cardinal Rock n' Roll reflection principles Souslin Tree Generalized Clubs higher Baire space Universal Sequences Constructible Universe Amenable C-sequence Ulam matrix Diamond SNR transformations Mandelbrot set tensor product graph Weakly compact cardinal Sakurai's Bell inequality Open Access Commutative cancellative semigroups P-Ideal Dichotomy Almost countably chromatic Absoluteness Forcing stick weak Kurepa tree projective Boolean algebra Fodor-type reflection Cohen real Rainbow sets Rado's conjecture AIM forcing Singular cardinals combinatorics Club Guessing Uniformly coherent Distributive tree Hereditarily Lindelöf space S-Space Large Cardinals Antichain Singular Density Luzin set Prevalent singular cardinals Forcing Axioms Axiom R Well-behaved magma Kurepa Hypothesis Dowker space Subtle tree property
I guess my spirit is pretty ruined then.