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

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

# 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