Archives
Keywords
Forcing Poset stick Diamond for trees Ulam matrix Fast club transformations Generalized Clubs Jonsson cardinal P-Ideal Dichotomy Souslin Tree ZFC construction square principles strongly bounded groups b-scale Forcing Axioms Amenable C-sequence Generalized descriptive set theory Chang's conjecture xbox Club Guessing sap Weakly compact cardinal Fat stationary set Uniformly homogeneous Open Access Shelah's Strong Hypothesis ccc unbounded function AIM forcing full tree Microscopic Approach free Boolean algebra Erdos Cardinal super-Souslin tree Sakurai's Bell inequality Cardinal function Rainbow sets countably metacompact Constructible Universe regressive Souslin tree 54G20 Hereditarily Lindelöf space Foundations Universal Sequences Luzin set positive partition relation Knaster Hindman's Theorem HOD Singular Density Diamond Chromatic number Parameterized proxy principle Cardinal Invariants Almost-disjoint family Selective Ultrafilter weak diamond Filter reflection Partition Relations stationary reflection Successor of Singular Cardinal Ineffable cardinal projective Boolean algebra reflection principles Minimal Walks Reduced Power specializable Souslin tree Diamond-sharp Slim tree Analytic sets Whitehead Problem Successor of Regular Cardinal PFA middle diamond very good scale Singular cardinals combinatorics Almost countably chromatic Precaliber Distributive tree Prikry-type forcing Strong coloring Knaster and friends Reflecting stationary set L-space Singular cofinality Erdos-Hajnal graphs C-sequence Sigma-Prikry Greatly Mahlo Almost Souslin PFA(S)[S] Vanishing levels Subtle cardinal Was Ulam right coloring number Absoluteness Large Cardinals GMA Ramsey theory over partitions Dushnik-Miller Aronszajn tree tensor product graph Martin's Axiom Rado's conjecture Coherent tree SNR Sierpinski's onto mapping principle Local Club Condensation. Lipschitz reduction indecomposable ultrafilter Strongly Luzin set Axiom R Prevalent singular cardinals Uniformization Cohen real Square-Brackets Partition Relations club_AD Ostaszewski square weak square Kurepa Hypothesis Dowker space Non-saturation nonmeager set free Souslin tree incompactness polarized partition relation Small forcing Fodor-type reflection Rock n' Roll S-Space diamond star square Well-behaved magma Antichain Commutative cancellative semigroups Ascent Path O-space Mandelbrot set OCA Subadditive Closed coloring Nonspecial tree Subnormal ideal stationary hitting Subtle tree property Uniformly coherent Iterated forcing higher Baire space Hedetniemi's conjecture Postprocessing function approachability ideal
Category Archives: Surprisingly short
The $\Delta$-system lemma: an elementary proof
Here is an elementary proof of (the finitary version of) the $\Delta$-system lemma. Thanks goes to Bill Weiss who showed me this proof! Lemma. Suppose that $\kappa$ is a regular uncountable cardinal, and $\mathcal A$ is a $\kappa$-sized family of finite … Continue reading
Posted in Blog, Expository, Surprisingly short
17 Comments