Universal models and guessing principles
The notion of a universal model is a popular one among mathematicians.
We shall discuss how such models might be used to classify
unstable theories, and show how this naturally gives rise to
independence questions. There will be forcing results discussed, and
also the way in which guessing principles are used to obtain negative
results in the absence of GCH.