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

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

# Tag Archives: Partition Relations

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