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