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

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

# 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