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