Small universal families of graphs on ${\aleph }_{\omega +1}$

Abstract

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