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

DOI10.1016/J.APAL.2013.11.006zbMATH Open1282.03015arXiv1304.5208OpenAlexW2111056284MaRDI QIDQ386155FDOQ386155

Authors: Christopher J. Eagle 

Publication date: 16 December 2013

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

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.

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

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.

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)

Cites Work

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

Cited In (14)

• Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
• Encoding complete metric structures by classical structures
• Model theory of \(C^*\)-algebras
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• 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
• The conjugacy problem for automorphism groups of countable homogeneous structures
• An omitting types theorem for positive bounded formulas in normed spaces
• Two applications of topology to model theory
• CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
• Omitting types and the real line

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)