Several long-standing open problems in the theory of C*-algebras reduce to whether for a given class of C*-algebras there is a locally universal one among them with certain nice properties. I will discuss how techniques from model theory, in particular model-theoretical forcing, can be used to shed light on these problems. This is joint work with Isaac Goldbring.