English

Probably isomorphic structures

Logic 2025-07-03 v1 Operator Algebras

Abstract

Two structures M,NM, N in the same language are called probably isomorphic if they (or, in case of metric structures, their completions) are isomorphic after forcing with the Lebesgue measure algebra. We show that, if MM and NN are discrete structures, or extremal models of a non-degenerate simplicial theory, then MM and NN are probably isomorphic if and only if L1([0,1],M)L1([0,1],N)L^1([0,1], M) \cong L^1([0,1], N). We moreover employ some of the set-theoretic arguments used to prove the aforementioned result to characterize when nontrivial ultraproducts of diffuse von Neumann algebras are tensorially prime.

Keywords

Cite

@article{arxiv.2507.01518,
  title  = {Probably isomorphic structures},
  author = {Ilijas Farah and Andrea Vaccaro},
  journal= {arXiv preprint arXiv:2507.01518},
  year   = {2025}
}

Comments

25 pages