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