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

DOI10.1016/j.apal.2013.11.006zbMath1282.03015arXiv1304.5208OpenAlexW2111056284MaRDI QIDQ386155

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

infinitary logicBaire categorycontinuous logicmetric structuresomitting typesreal-valued logicseparable quotients of Banach spacestwo-cardinal theorem

Mathematics Subject Classification ID

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

Related Items (9)

Omitting types in logic of metric structures ⋮ Metric Scott analysis ⋮ Two applications of topology to model theory ⋮ The conjugacy problem for automorphism groups of countable homogeneous structures ⋮ CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS ⋮ Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists ⋮ Encoding complete metric structures by classical structures ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ Model theory of 𝐶*-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theoretic forcing in analysis
• Model theory.
• Sous-espaces de dimension finie des espaces de Banach reticules
• Nonstandard hulls of Banach spaces
• Metamathematics of fuzzy logic
• Espaces de Banach stables
• Ranges of positive contractive projections in Nakano spaces
• Omitting types and AF algebras
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Categoricity without equality
• Continuous first order logic and local stability
• On d-finiteness in continuous structures
• 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
• Ultraproducts of $L_1$-predual spaces
• Langages à valeurs réelles et applications
• The countable chain condition versus separability - applications of Martin's Axiom
• Ultrapowers and Local Properties of Banach Spaces
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• Methods in the theory of hereditarily indecomposable Banach spaces
• Application des ultraproduits à l'étude des espaces et des algèbres de Banach
• Continuous Model Theory. (AM-58)

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