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