Article contents
REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM
Published online by Cambridge University Press: 14 September 2016
Abstract
We extend the classical Feferman–Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum Hypothesis. We also prove the existence of two separable C*-algebras of the form ⊕iMk(i) (ℂ) such that the assertion that their coronas are isomorphic is independent from ZFC, which gives the first example of genuinely noncommutative coronas of separable C*-algebras with this property.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20160915062749423-0812:S0022481216000207_inline1.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20160915062749423-0812:S0022481216000207_inline2.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20160915062749423-0812:S0022481216000207_inline3.gif?pub-status=live)
- 9
- Cited by