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