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