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