### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

free Boolean algebra P-Ideal Dichotomy stationary hitting xbox Kurepa Hypothesis projective Boolean algebra Hindman's Theorem Stevo Todorcevic Fast club Uniformly coherent Axiom R Parameterized proxy principle Chang's conjecture Erdos-Hajnal graphs Club Guessing PFA(S)[S] Nonspecial tree Successor of Singular Cardinal Diamond Small forcing Singular coﬁnality Singular cardinals combinatorics square principles Partition Relations tensor product graph super-Souslin tree Weakly compact cardinal Fodor-type reflection Square-Brackets Partition Relations Commutative cancellative semigroups Aronszajn tree L-space Forcing Poset Ostaszewski square Almost-disjoint famiy ccc Shelah's Strong Hypothesis OCA Universal Sequences Rado's conjecture Sakurai's Bell inequality weak square Whitehead Problem HOD Almost Souslin diamond star reflection principles Antichain Luzin set square Cardinal function weak diamond Reduced Power middle diamond Minimal Walks very good scale Prevalent singular cardinals specializable Souslin tree Constructible Universe Erdos Cardinal Cardinal Invariants Foundations Generalized Clubs incompactness Cohen real Postprocessing function Dushnik-Miller Mandelbrot set Non-saturation Uniformization b-scale coloring number Singular Density 05A17 Coherent tree Almost countably chromatic polarized partition relation Microscopic Approach Hereditarily Lindelöf space free Souslin tree Fat stationary set Rock n' Roll Souslin Tree Hedetniemi's conjecture Chromatic number Selective Ultrafilter Successor of Regular Cardinal S-Space stationary reflection Knaster Martin's Axiom approachability ideal Rainbow sets 11P99 Distributive tree Ascent Path Jonsson cardinal Absoluteness Prikry-type forcing PFA Forcing Axioms sap Large Cardinals Slim tree

# 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