Model theoretic forcing in analysis

Abstract

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.