Reduced products of metric structures: a metric Feferman-Vaught theorem

DOI10.1017/JSL.2016.20MaRDI QIDQ2976367zbMATHOpenAlexFDO

Authors Saeed Ghasemi

Publication date 28 April 2017

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

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)

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.

Recommendations

• scientific article; zbMATH DE number 1907123
• Model theory of operator algebras. II: Model theory
• Reduced products and sheaves of metric structures
• The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II
• Model theory for metric structures

Cites work

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

Cited in

(16)

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

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)