Omitting types for infinitary \([0,1]\)-valued logic (Q386155)

This article describes the continuous logic analogue of \(\mathcal{L}_{\omega_1,\omega}\) and proves an omitting types theorem for countable fragments of \(\mathcal{L}_{\omega_1,\omega}\). The author then gives several applications of the omitting types theorem, including a continuous analgoue of Keisler's two-cardinal theorem and an improvement of a theorem of Ben Yaacov and Iovino on separable quotients of Banach spaces (which they proved using their own treatment of omitting types in countable fragments of infinitary continuous logic).