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.

References in corpus (1)

• Continuous first order logic and local stability

Cited by in corpus (15)

• Saturation and elementary equivalence of C*-algebras
• Omitting types for infinitary [0, 1]-valued logic
• Enforceable operator algebras
• Logic and ${\mathrm{C}}^{\ast }$-algebras: set theoretical dichotomies in the theory of continuous quotients
• Around the set-theoretical consistency of d-tameness of Metric Abstract Elementary Classes
• Infinitary logic and basically disconnected compact Hausdorff spaces
• Existentially closed II_1 factors
• The conjugacy problem for automorphism groups of countable homogeneous structures
• A López-Escobar theorem for metric structures, and the topological Vaught conjecture
• Effectiveness in RPL, with Applications to Continuous Logic
• Isomorphism of locally compact Polish metric structures
• Expressive power of infinitary [0, 1]-valued logics
• Model Theory for $C_p$-theorists
• Polish G-spaces, the generalized model theory and complexity
• Metric groups, unitary representations and continuous logic