Probably isomorphic structures
Logic
2025-07-03 v1 Operator Algebras
Abstract
Two structures 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 and are discrete structures, or extremal models of a non-degenerate simplicial theory, then and are probably isomorphic if and only if . 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.
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