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

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

# 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