Model theoretic forcing in analysis
  We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory. 
Ita\"i Ben Yaacov (ICJ), Jos\'e Iovino