Omitting types for infinitary [0,1]-valued logic

DOI10.1016/J.APAL.2013.11.006MaRDI QIDQ386155zbMATH OpenOpenAlexFDO

Publication date 16 December 2013

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.5208

Baire category continuous logic infinitary logic metric structures omitting types real-valued logic separable quotients of Banach spaces two-cardinal theorem

Mathematics Subject Classification ID

Many-valued logic (03B50) Other infinitary logic (03C75) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Baire category, Baire spaces (54E52)

Abstract: We describe an infinitary logic for metric structures which is analogous to

L_{o m e g a_{1}, o m e g a}

. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yields a strengthening of a result of Ben Yaacov and Iovino concerning separable quotients of Banach spaces.

Review text

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).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Omitting types for infinitary \([0,1]\)-valued logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386155)