Recent zbMATH articles in MSC 03C25https://zbmath.org/atom/cc/03C252021-06-15T18:09:00+00:00WerkzeugEnforceable operator algebras.https://zbmath.org/1460.030092021-06-15T18:09:00+00:00"Goldbring, Isaac"https://zbmath.org/authors/?q=ai:goldbring.isaacAuthor's abstract: We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite \(\text{II}_1\) factor is an enforceable \(\text{II}_1\) factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian \(\text{C}^{\ast}\)-algebras and use this to show that it is the prime model of its theory.
Reviewer: Daniele Mundici (Firenze)