pith. sign in

arxiv: 2511.15867 · v3 · pith:F7WHYRHYnew · submitted 2025-11-19 · 🧮 math.OA · math.LO

On the isomorphism problem for ultraproducts of C^*-algebras in continuous model theory

Akihiko Arai This is my paper

Pith reviewed 2026-05-17 21:04 UTC · model grok-4.3

classification 🧮 math.OA math.LO
keywords C*-algebrasultraproductscontinuous model theoryelementary equivalencecontinuum hypothesisisomorphism problemoperator algebras
0
0 comments X

The pith

Assuming the negation of the continuum hypothesis, there exist elementarily equivalent C*-algebras of density at most c whose ultrapowers are never isomorphic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the continuous-model-theory version of the Keisler-Shelah theorem fails for C*-algebras. It proves that if the continuum hypothesis is false, there are two infinite-dimensional unital C*-algebras that satisfy the same continuous sentences and have density character at most the continuum, yet no choice of non-principal ultrafilters on the natural numbers makes their ultrapowers isomorphic. A sympathetic reader cares because this separates elementary equivalence from the existence of isomorphic ultraproducts in the metric setting, unlike the classical discrete case. The result therefore links the model theory of operator algebras directly to set-theoretic principles.

Core claim

Assuming the negation of the continuum hypothesis, there exist two elementarily equivalent infinite-dimensional unital C*-algebras A and B whose density characters are at most c such that for every pair of non-principal ultrafilters U and V on ω the ultrapowers A^U and B^V are not isomorphic.

What carries the argument

Continuous elementary equivalence of C*-algebras together with the construction of a pair A and B that remain non-isomorphic in every ultrapower, using the failure of CH to control density and saturation.

If this is right

  • The Keisler-Shelah theorem does not hold in continuous logic for C*-algebras.
  • Whether two elementarily equivalent C*-algebras have isomorphic ultrapowers can depend on set-theoretic axioms such as the continuum hypothesis.
  • The isomorphism type of ultraproducts of operator algebras is not determined solely by their elementary theory in ZFC.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same separation between elementary equivalence and ultrapower isomorphism may occur for other classes of metric structures such as von Neumann algebras.
  • Classification programs for C*-algebras that rely on continuous-logic invariants may need to track set-theoretic assumptions explicitly.
  • Under the continuum hypothesis the corresponding ultrapowers might become isomorphic, making the result sharp with respect to CH.

Load-bearing premise

That two elementarily equivalent C*-algebras of density character at most the continuum exist whose ultrapowers fail to become isomorphic for any non-principal ultrafilters on the naturals.

What would settle it

An explicit pair of elementarily equivalent infinite-dimensional unital C*-algebras A and B of density at most c together with a proof that some ultrafilters U and V on ω satisfy A^U isomorphic to B^V.

read the original abstract

In classical model theory, the Keisler--Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous relationship holds in the framework of continuous model theory, which naturally encompasses metric structures such as $\mathrm{C}^\ast$-algebras. In this paper, we investigate the isomorphism problem for ultraproducts of operator algebras from a model-theoretic perspective. We prove that, assuming the negation of the continuum hypothesis, there exist two elementarily equivalent infinite-dimensional unital $\mathrm{C}^\ast$-algebras $A$ and $B$, whose density characters are at most $\mathfrak c$, such that for all non-principal ultrafilters $\mathcal U, \mathcal V$ on $\omega$, the ultrapowers $A^{\mathcal U}$ and $B^{\mathcal V}$ are not isomorphic. This result provides a continuous analogue of certain classical theorems concerning ultraproducts and demonstrates that the model-theoretic behavior of $\mathrm{C}^\ast$-algebras is closely related to set-theoretic principles such as the continuum hypothesis.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that, assuming the negation of the continuum hypothesis, there exist two elementarily equivalent infinite-dimensional unital C*-algebras A and B with density characters at most 𝔠 such that for all non-principal ultrafilters U, V on ω the ultrapowers A^U and B^V are not isomorphic. The construction proceeds by transfinite induction of length 𝔠, ensuring agreement on all continuous sentences while distinguishing the structures via a C*-invariant (e.g., a property of the unitary group or trace space) that is preserved under ultrapower formation.

Significance. If the result holds, it supplies a continuous-model-theoretic analogue of classical Keisler–Shelah-type phenomena for C*-algebras, showing that elementary equivalence need not imply isomorphic ultrapowers and that the isomorphism problem is sensitive to set-theoretic assumptions such as ¬CH. The explicit transfinite-induction construction, the separation of first-order continuous properties from isomorphism invariants, and the verification for arbitrary non-principal ultrafilters constitute concrete strengths that make the existence claim falsifiable within the given framework.

minor comments (2)
  1. [§2.3] §2.3: the precise choice of the distinguishing C*-invariant (unitary group versus trace space) is stated only informally; an explicit definition or reference to the invariant used in the induction step would improve readability.
  2. [Theorem 4.1] The statement of the main theorem (Theorem 4.1) repeats the density-character bound already given in the abstract; a single consolidated statement would reduce redundancy.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main result, and recommendation for minor revision. The significance of providing a continuous-model-theoretic analogue of Keisler–Shelah phenomena for C*-algebras is well captured. No specific major comments appear in the report, so we address the overall evaluation below.

Circularity Check

0 steps flagged

Derivation self-contained via explicit transfinite construction under ¬CH

full rationale

The paper establishes an existence result for two elementarily equivalent C*-algebras A and B (density ≤ 𝔠) whose ultrapowers remain non-isomorphic for every non-principal ultrafilter on ω, assuming ¬CH. The construction proceeds by transfinite induction of length 𝔠, ensuring the algebras satisfy identical continuous sentences while differing on a C*-invariant preserved by ultrapowers. This separates first-order continuous properties from isomorphism type without reducing any step to a fitted parameter, self-definition, or load-bearing self-citation. The argument draws on standard continuous model theory and set-theoretic tools but remains independent of the target claim; no equation or premise collapses to its own input by construction. The result is therefore a genuine existence theorem rather than a renaming or tautological prediction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard axioms of continuous model theory for metric structures and on ZFC augmented by the negation of the continuum hypothesis; no free parameters, new entities, or ad-hoc constants are introduced in the abstract.

axioms (2)
  • domain assumption Axioms of continuous model theory for metric structures such as C*-algebras
    Used to define elementary equivalence and ultraproducts in the continuous logic setting.
  • domain assumption ZFC set theory together with the negation of the continuum hypothesis
    Explicitly invoked to guarantee the existence of the required algebras A and B.

pith-pipeline@v0.9.0 · 5495 in / 1554 out tokens · 61518 ms · 2026-05-17T21:04:02.116764+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Ward Henson, and Alexander Usvyatsov

    Ita¨ ı Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov. Model theory for metric structures. InModel theory with applications to algebra and analysis. Vol. 2, volume 350 ofLondon Math. Soc. Lecture Note Ser., pages 315–427. Cambridge Univ. Press, Cambridge, 2008

    work page 2008

  2. [2]

    Theory ofC ∗-algebras and von Neumann alge- bras, volume 122 ofEncyclopaedia of Mathematical Sciences

    Bruce Blackadar.Operator algebras. Theory ofC ∗-algebras and von Neumann alge- bras, volume 122 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin,

    work page

  3. [3]

    Operator Algebras and Non-commutative Geometry, III

    work page

  4. [4]

    C. C. Chang and H. Jerome Keisler.Model theory, volume 73 ofStudies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, third edition, 1990

    work page 1990

  5. [5]

    Jerome Keisler.Continuous model theory, volume 58 of Annals of Mathematics Studies

    Chen-chung Chang and H. Jerome Keisler.Continuous model theory, volume 58 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1966

    work page 1966

  6. [6]

    Classification of injective factors

    Alain Connes. Classification of injective factors. Cases II 1,II ∞,III λ, λ̸= 1.Ann. of Math. (2), 104(1):73–115, 1976

    work page 1976

  7. [7]

    Eagle and Alessandro Vignati

    Christopher J. Eagle and Alessandro Vignati. Saturation and elementary equivalence of C∗-algebras.Journal of Functional Analysis, 269(8):2631–2664, 2015

    work page 2015

  8. [8]

    Springer Monographs in Math- ematics

    Ilijas Farah.Combinatorial set theory ofC ∗-algebras. Springer Monographs in Math- ematics. Springer, Cham, [2019]©2019

    work page 2019

  9. [9]

    Model theory of C ∗-algebras.Mem

    Ilijas Farah, Bradd Hart, Martino Lupini, Leonel Robert, Aaron Tikuisis, Alessandro Vignati, and Wilhelm Winter. Model theory of C ∗-algebras.Mem. Amer. Math. Soc., 271(1324):viii+127, 2021

    work page 2021

  10. [10]

    Model theory of operator algebras I: stability.Bull

    Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability.Bull. Lond. Math. Soc., 45(4):825–838, 2013

    work page 2013

  11. [11]

    Model theory of operator algebras II: model theory.Israel J

    Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory.Israel J. Math., 201(1):477–505, 2014. 27

    work page 2014

  12. [12]

    Model theory of operator algebras III: elementary equivalence and II1 factors.Bull

    Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1 factors.Bull. Lond. Math. Soc., 46(3):609–628, 2014

    work page 2014

  13. [13]

    Corson reflections.Ann

    Ilijas Farah and Menachem Magidor. Corson reflections.Ann. Pure Appl. Logic, 172(5):Paper No. 102908, 13, 2021

    work page 2021

  14. [14]

    Ultraproducts ofC ∗-algebras

    Liming Ge and Don Hadwin. Ultraproducts ofC ∗-algebras. InRecent advances in operator theory and related topics (Szeged, 1999), volume 127 ofOper. Theory Adv. Appl., pages 305–326. Birkh¨ auser, Basel, 2001

    work page 1999

  15. [15]

    Jerome Keisler

    Isaac Goldbring and H. Jerome Keisler. Continuous sentences preserved under reduced products.J. Symb. Log., 87(2):649–681, 2022

    work page 2022

  16. [16]

    The Keisler-Shelah isomorphism theorem and the continuum hypothesis.Fund

    Mohammad Golshani and Saharon Shelah. The Keisler-Shelah isomorphism theorem and the continuum hypothesis.Fund. Math., 260(1):59–66, 2023

    work page 2023

  17. [17]

    The Keisler-Shelah isomorphism theorem and the continuum hypothesis II.Monatsh

    Mohammad Golshani and Saharon Shelah. The Keisler-Shelah isomorphism theorem and the continuum hypothesis II.Monatsh. Math., 201(3):789–801, 2023

    work page 2023

  18. [18]

    Failure of Keisler-Shelah theorem for atomless Boolean algebras

    Tatsuya Goto. Failure of Keisler-Shelah theorem for atomless Boolean algebras. A talk given in the model theory summer school & workshop, Kobe University, Japan, 2024

    work page 2024

  19. [19]

    An introduction to continuous model theory

    Bradd Hart. An introduction to continuous model theory. InModel theory of operator algebras, volume 11 ofDe Gruyter Ser. Log. Appl., pages 83–131. De Gruyter, Berlin, [2023]©2023

    work page 2023

  20. [20]

    On a simple unital projectionlessC ∗-algebra.Amer

    Xinhui Jiang and Hongbing Su. On a simple unital projectionlessC ∗-algebra.Amer. J. Math., 121(2):359–413, 1999

    work page 1999

  21. [21]

    Jerome Keisler

    H. Jerome Keisler. Ultraproducts and elementary classes.Indag. Math., 23:477–495,

    work page

  22. [22]

    Nederl. Akad. Wetensch. Proc. Ser. A64

    work page

  23. [23]

    Exact C ∗-algebras, tensor products, and the classification of purely infinite algebras

    Eberhard Kirchberg. Exact C ∗-algebras, tensor products, and the classification of purely infinite algebras. InProceedings of the International Congress of Mathemati- cians, Vol. 1, 2 (Z¨ urich, 1994), pages 943–954. Birkh¨ auser, Basel, 1995

    work page 1994

  24. [24]

    Quelques remarques, th´ eor` emes et probl` emes sur les classes d´ efinissables d’alg` ebres

    Jerzy Lo´ s. Quelques remarques, th´ eor` emes et probl` emes sur les classes d´ efinissables d’alg` ebres. InMathematical interpretation of formal systems, pages 98–113. North- Holland, Amsterdam, 1955

    work page 1955

  25. [25]

    Central sequences and the hyperfinite factor.Proc

    Dusa McDuff. Central sequences and the hyperfinite factor.Proc. London Math. Soc. (3), 21:443–461, 1970

    work page 1970

  26. [26]

    North-Holland Publishing Co., Amster- dam, 1966

    Abraham Robinson.Non-standard analysis. North-Holland Publishing Co., Amster- dam, 1966

    work page 1966

  27. [27]

    The theory ofW∗-algebras

    Shˆ oichirˆ o Sakai. The theory ofW∗-algebras. Lecture Notes, Yale University, 1962

    work page 1962

  28. [28]

    Every two elementarily equivalent models have isomorphic ultra- powers.Israel J

    Saharon Shelah. Every two elementarily equivalent models have isomorphic ultra- powers.Israel J. Math., 10:224–233, 1971. 28

    work page 1971

  29. [29]

    Vive la diff´ erence

    Saharon Shelah. Vive la diff´ erence. I. Nonisomorphism of ultrapowers of countable models. InSet theory of the continuum (Berkeley, CA, 1989), volume 26 ofMath. Sci. Res. Inst. Publ., pages 357–405. Springer, New York, 1992

    work page 1989

  30. [30]

    Some results related to Keisler-Shelah isomorphism theorem

    Akito Tsuboi. Some results related to Keisler-Shelah isomorphism theorem. In Hi- rotaka Kikyo, editor,RIMS Kokyuroku, volume 2218, pages 35–39, Kyoto, Japan, 5

    work page

  31. [31]

    Kyoto University Research Institute for Mathematical Sciences

    work page

  32. [32]

    Fred B. Wright. A reduction for algebras of finite type.Ann. of Math. (2), 60:560— 570, 1954. 29

    work page 1954