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