A+ CATEGORY SCIENTIFIC UNIT

Indestructible colourings and rainbow Ramsey theorems

Volume 202 / 2009

Lajos Soukup Fundamenta Mathematicae 202 (2009), 161-180 MSC: 03E02, 03E35, 03E50, 05D10. DOI: 10.4064/fm202-2-4

Abstract

We show that if a colouring $c$ establishes $\omega_2\nrightarrow [{(\omega_1:{\omega})}]^2$ then $c$ establishes this negative partition relation in each Cohen-generic extension of the ground model, i.e. this property of $c$ is Cohen-indestructible. This result yields a negative answer to a question of Erdős and Hajnal: it is consistent that GCH holds and there is a colouring $c:[{\omega_2}]^2\to 2$ establishing $\omega_2\nrightarrow [{(\omega_1:{\omega})}]_2$ such that some colouring $g:[\omega_1]^2\to 2$ does not embed into $c$.

It is also consistent that $2^{\omega_1}$ is arbitrarily large, and there is a function $g$ establishing $2^{{\omega}_1}\nrightarrow [{(\omega_1,\omega_2)}]_{\omega_1};$ but there is no uncountable $g$-rainbow subset of $2^{{\omega}_1}$.

We also show that if GCH holds then for each $k\in {\omega}$ there is a $k$-bounded colouring $f:[\omega_1]^2\rightarrow \omega_1$ and there are two c.c.c. posets ${\cal P}$ and ${\cal Q}$ such that $$ V^{{\cal P}}\models \hbox{$f$ c.c.c.-indestructibly establishes $\omega_1\nrightarrow^* [(\omega_1;\omega_1)]_{k\hbox{-}{\rm bdd}}$,} $$ but $$ V^{{\cal Q}}\models \hbox{$\omega_1$ is the union of countably many $f$-rainbow sets.} $$

Authors

  • Lajos SoukupAlfréd Rényi Institute of Mathematics
    V. Reáltanoda utca 13-15
    H-1053 Budapest, Hungary
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image