Expressive power of infinitary [0,1]-logics

MaRDI QIDQ5221578zbMATH OpenFDO

Authors

Publication date 2 April 2020

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

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Other infinitary logic (03C75) Continuous model theory, model theory of metric structures (03C66)

Abstract: We consider model-theoretic properties related to the expressive power of three analogues of $L_{omeg{a}_1,omega}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the other two, but also show that all three have the same elementary equivalence relation for complete separable metric structures. We then prove that a continuous function on a complete separable metric structure is automorphism invariant if and only if it is definable in the more expressive logic. Several of our results are related to the existence of Scott sentences for complete separable metric structures.

Recommendations

• scientific article; zbMATH DE number 5872198
• Omitting types for infinitary \([0,1]\)-valued logic
• Model theory for metric structures
• Infinitary logics and 0-1 laws
• Metric Scott analysis

Cited in

(12)

• Deciding simple infinity axiom sets with one binary relation by means of superpostulates
• scientific article; zbMATH DE number 6476595 (Why is no real title available?)
• Involutive uninorm logic with the \(n\)-potency axiom
• Games and Scott sentences for positive distances between metric structures
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Two applications of topology to model theory
• Omitting types for infinitary \([0,1]\)-valued logic
• On the complexity of the theory of a computably presented metric structure
• Expressive power and incompleteness of propositional logics
• Infinitary logics and 0-1 laws
• On the Expressive Power of Cost Logics over Infinite Words
• Pseudofinite and pseudocompact metric structures

This page was built for publication: Expressive power of infinitary \([0,1]\)-logics

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