Title of article :
Model theoretic forcing in analysis
Author/Authors :
Itay Ben-Yaacov، نويسنده , , Itaï and Iovino، نويسنده , , José، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
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.
Keywords :
Omitting types , Banach space model theory , Separable quotient problem , 03C25 , 03C65 , 03C90 , 03C98 , Continuous logic , Model theoretic forcing
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic