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

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

# 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