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