Transforming rectangles into squares, with applications to strong colorings

Abstract: It is proved that every singular cardinal

l a m b d a

admits a function

R T S : [l a m b d a^{+}]^{2} i g h t a r r o w [l a m b d a^{+}]^{2}

that transforms rectangles into squares. Namely, for every cofinal subsets

A, B

of

l a m b d a^{+}

, there exists a cofinal subset

C

of

l a m b d a^{+}

, such that

R T S [A x B]

covers CxC. When combined with a recent result of Eisworth, this shows that Shelah's notion of strong coloring

P r_{1} (l a m b d a^{+}, l a m b d a^{+}, l a m b d a^{+}, c f (l a m b d a))

coincides with the classical negative partition relation

l a m b d a^{+} o t i g h t a r r o w [l a m b d a^{+}]_{l a m b d a^{+}}^{2}

.

Recommendations

Cites Work

Cited In (12)

This page was built for publication: Transforming rectangles into squares, with applications to strong colorings