Forcing-theoretic approach to universal homogeneous structures, part 1

In this series of talks, we will investigate relations between generic first-order structures added by forcing, and universal homogeneous structures arising from the Fraisse theory. During the first talk, I intend to give a self-contained introduction to the Fraisse theory, define forcings Fn(\kappa, K, \lambda), and explain why are they provide a reasonable generalization of Fraisse theory to higher cardinalities.