Probably isomorphic structures

Abstract

Two structures $M,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 $M$ and $N$ are discrete structures, or extremal models of a non-degenerate simplicial theory, then $M$ and $N$ are probably isomorphic if and only if $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.

26 pages, various minor corrections