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