Small Universal Families of Graphs on ℵ_ω+1

We prove that it is consistent that ℵ_ω is strong limit, 2^ℵ_ω is large and the universality number for graphs on ℵ_ω+1 is small. The proof uses Prikry forcing with interleaved collapsing