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

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