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.