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