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

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

Authors Christopher J. Eagle

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

zbMATH Keywords

Baire categorycontinuous logicinfinitary logicmetric structuresomitting typesreal-valued logicseparable quotients of Banach spacestwo-cardinal theorem

Mathematics Subject Classification ID

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

Abstract: We describe an infinitary logic for metric structures which is analogous to $L_{omeg{a}_1,omega}$. 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.

Recommendations

• Omitting types in logic of metric structures
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• An Omitting Types Theorem for first order logic with infinitary relation symbols
• Expressive power of infinitary \([0,1]\)-logics
• A note on omitting types in propositional logic.

Cites work

• scientific article; zbMATH DE number 3877173 (Why is no real title available?)
• scientific article; zbMATH DE number 3954885 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3478869 (Why is no real title available?)
• scientific article; zbMATH DE number 3512777 (Why is no real title available?)
• scientific article; zbMATH DE number 3226529 (Why is no real title available?)
• scientific article; zbMATH DE number 3330583 (Why is no real title available?)
• scientific article; zbMATH DE number 3337980 (Why is no real title available?)
• scientific article; zbMATH DE number 3389023 (Why is no real title available?)
• Application des ultraproduits à l'étude des espaces et des algèbres de Banach
• Categoricity without equality
• Continuous Model Theory. (AM-58)
• Continuous first order logic and local stability
• Espaces de Banach stables
• Langages à valeurs réelles et applications
• Metamathematics of fuzzy logic
• Methods in the theory of hereditarily indecomposable Banach spaces
• Model theoretic forcing in analysis
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Model theory for metric structures
• Model theory.
• Nonstandard hulls of Banach spaces
• Omitting types and AF algebras
• On Fuzzy Logic I Many‐valued rules of inference
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• On d-finiteness in continuous structures
• Ranges of positive contractive projections in Nakano spaces
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• Sous-espaces de dimension finie des espaces de Banach reticules
• The countable chain condition versus separability - applications of Martin's Axiom
• Ultrapowers and Local Properties of Banach Spaces
• Ultraproducts of $L_1$-predual spaces

Cited in

(13)

• Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
• Encoding complete metric structures by classical structures
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Model theory of \(C^*\)-algebras
• Saturation and elementary equivalence of \(C^\ast\)-algebras
• Expressive power of infinitary \([0,1]\)-logics
• Metric Scott analysis
• Omitting types in logic of metric structures
• An Omitting Types Theorem for first order logic with infinitary relation symbols
• Two applications of topology to model theory
• An omitting types theorem for positive bounded formulas in normed spaces
• Omitting types and the real line
• CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS

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)