### 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

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

# 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