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.