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.