REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM

DOI10.1017/JSL.2016.20zbMATH Open1383.03047arXiv1411.0794OpenAlexW2963848618MaRDI QIDQ2976367FDOQ2976367

Saeed Ghasemi

Publication date: 28 April 2017

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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 $$ such that the assertion that their coronas are isomorphic is independent from ZFC, which gives the first example of genuinely non-commutative coronas of separable C*-algebras with this property.

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

zbMATH Keywords

corona algebrasreduced productsmetric model theorymetric Feferman-Vaught theoremtrivial isomorphisms

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Consistency and independence results (03E35) Models of other mathematical theories (03C65) Continuum hypothesis and Martin's axiom (03E50)

Cites Work

• Multipliers of C -algebras
• Model theory of operator algebras. II: Model theory
• A note on quasi-diagonal \(C^*\)-algebras and homotopy
• Analytic ideals and their applications
• The Calkin algebra has outer automorphisms
• All automorphisms of the Calkin algebra are inner
• Trivial automorphisms
• RIGIDITY OF CONTINUOUS QUOTIENTS
• \(\omega^*\) has (almost) no continuous images
• Isomorphisms of quotients of FDD-algebras
• Reduced products and sheaves of metric structures

Cited In (14)

• Obstructions to countable saturation in corona algebras
• Between reduced powers and ultrapowers, II.
• Model theory and Rokhlin dimension for compact quantum group actions
• Between reduced powers and ultrapowers
• Homeomorphisms of Čech–Stone remainders: the zero-dimensional case
• Uniform Roe coronas
• Preservation of elementarity by tensor products of tracial von Neumann algebras
• The Keisler order in continuous logic
• Ring-theoretic (In)finiteness in reduced products of Banach algebras
• Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
• Rigidity conjectures for continuous quotients
• Preservation properties for products and sums of metric structures
• CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
• Forcing axioms and coronas of C∗-algebras

This page was built for publication: REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM

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