### Archives

### Recent blog posts

- 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
- Partitioning the club guessing January 22, 2014

### Keywords

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

# 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