Expressive power of infinitary [0,1]-logics
From MaRDI portal
Publication:5221578
zbMATH Open1433.03092arXiv1512.00879MaRDI QIDQ5221578FDOQ5221578
Authors:
Publication date: 2 April 2020
Abstract: We consider model-theoretic properties related to the expressive power of three analogues of 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.
Full work available at URL: https://arxiv.org/abs/1512.00879
Recommendations
Models of other mathematical theories (03C65) Other infinitary logic (03C75) Continuous model theory, model theory of metric structures (03C66)
Cited In (12)
- Expressive power and incompleteness of propositional logics
- Infinitary logics and 0-1 laws
- Omitting uncountable types and the strength of \([0,1]\)-valued logics
- On the complexity of the theory of a computably presented metric structure
- Involutive uninorm logic with the \(n\)-potency axiom
- Games and Scott sentences for positive distances between metric structures
- On the Expressive Power of Cost Logics over Infinite Words
- Pseudofinite and pseudocompact metric structures
- Two applications of topology to model theory
- Title not available (Why is that?)
- Omitting types for infinitary \([0,1]\)-valued logic
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates
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)
