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