Archives
Keywords
weak diamond Partition relations for trees L-space free Souslin tree Fat stationary set Sierpinski's onto mapping principle Constructible Universe Countryman line Large Cardinals Singular cofinality Singular Density Universal Sequences Greatly Mahlo Erdos-Hajnal graphs b-scale Nonspecial tree Aronszajn tree Cardinal Invariants Respecting tree Forcing Uniformly homogeneous stick Foundations Club Guessing Iterated forcing coloring number Uniformization Open Access tensor product graph O-space Successor of Regular Cardinal nonmeager set Diamond for trees Reflecting stationary set Distributive tree C-sequence weak square Chang's conjecture Cardinal function Closed coloring super-Souslin tree xbox Filter reflection free Boolean algebra Vanishing levels Subnormal ideal Ulam matrix full tree Entangled linear order Forcing Axioms Commutative projection system Interval topology on trees Microscopic Approach Shelah's Strong Hypothesis Subadditive Parameterized proxy principle Erdos Cardinal Amenable C-sequence Ascending path Souslin Tree Well-behaved magma square Small forcing Cohen real incompactness Rock n' Roll Analytic sets square principles Weakly compact cardinal Square-Brackets Partition Relations Postprocessing function club_AD Forcing with side conditions Dowker space diamond star Almost countably chromatic Singular cardinals combinatorics Rado's conjecture Ascent Path ccc specializable Souslin tree Diamond-sharp HOD stationary hitting sap AIM forcing Non-saturation Strong coloring reflection principles very good scale Reduced Power stationary reflection Uniformly coherent Successor of Singular Cardinal Chromatic number Fast club Generalized descriptive set theory Generalized Clubs polarized partition relation Prevalent singular cardinals ZFC construction Sakurai's Bell inequality positive partition relation Fodor-type reflection Prikry-type forcing Slim tree Ostaszewski square Subtle cardinal approachability ideal Was Ulam right? Minimal Walks countably metacompact Poset Lipschitz reduction Knaster and friends P-Ideal Dichotomy Antichain Coherent tree Almost Souslin indecomposable filter Diamond GMA S-Space Commutative cancellative semigroups Whitehead Problem Strongly compact cardinal Rainbow sets 54G20 Local Club Condensation. Sigma-Prikry weak Kurepa tree SNR Dushnik-Miller Hindman's Theorem Hedetniemi's conjecture Almost-disjoint family Selective Ultrafilter middle diamond Knaster Monotonically far Axiom R strongly bounded groups Intersection model PFA OCA perfectly normal Subtle tree property Martin's Axiom Precaliber projective Boolean algebra Kurepa Hypothesis higher Baire space Partition Relations Ramsey theory over partitions unbounded function Mandelbrot set Luzin set Absoluteness Jonsson cardinal Ineffable cardinal regressive Souslin tree Strongly Luzin set transformations Hereditarily Lindelöf space PFA(S)[S]
Category Archives: Expository
Dushnik-Miller for singular cardinals (part 2)
In the first post on this subject, we provided a proof of $\lambda\rightarrow(\lambda,\omega+1)^2$ for every regular uncountable cardinal $\lambda$. In the second post, we provided a proof of $\lambda\rightarrow(\lambda,\omega)^2$ for every singular cardinal $\lambda$, and showed that $\lambda\rightarrow(\lambda,\omega+1)^2$ fails for every … Continue reading
Posted in Blog, Expository
Tagged Dushnik-Miller, Partition Relations, Singular cardinals combinatorics
27 Comments
Dushnik-Miller for regular cardinals (part 2)
In this post, we shall provide a proof of Todorcevic’s theorem, that $\mathfrak b=\omega_1$ implies $\omega_1\not\rightarrow(\omega_1,\omega+2)^2$. This will show that the Erdos-Rado theorem that we discussed in an earlier post, is consistently optimal. Our exposition of Todorcevic’s theorem would be … Continue reading
Dushnik-Miller for singular cardinals (part 1)
Continuing the previous post, let us now prove the following. Theorem (Erdos-Dushnik-Miller, 1941). For every singular cardinal λ, we have: $$\lambda\rightarrow(\lambda,\omega)^2.$$ Proof. Suppose that $\lambda$ is a singular cardinal, and $c:[\lambda]^2\rightarrow\{0,1\}$ is a given coloring. For any ordinal $\alpha<\lambda$, denote … Continue reading
Dushnik-Miller for regular cardinals (part 1)
This is the first out of a series of posts on the following theorem. Theorem (Erdos-Dushnik-Miller, 1941). For every infinite cardinal $\lambda$, we have: $$\lambda\rightarrow(\lambda,\omega)^2.$$ Namely, for any coloring $c:[\lambda]^2\rightarrow\{0,1\}$ there exists either a subset $A\subseteq \lambda$ of order-type $\lambda$ with … Continue reading
Shelah’s solution to Whitehead’s problem
Whitehead problem notes in hebrew : Table of contents Chapter 0 Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 References
