加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本