@misc{1706.09154,
author = {Dana Bartošová and Aleksandra Kwiatkowska},
title = {{U}niversal minimal flow of the homeomorphism group of the {L}elek fan},
year = {2017},
eprint = {1706.09154},
note = {arXiv:1706.09154v1}
}

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 II$_1$ factor is an enforceable 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 \cstar-algebras and use this to show that it is the prime model of its theory.

Shelah's pcf theory has proven useful in the analysis of the combinatorial structure of singular cardinals. One downside is that many of the more powerful theorems require that the singular cardinal in question is not a fixed point of the $\aleph$ function. In Sh506, Shelah develops a variant of pcf theory that can be used at singular $\aleph$-fixed points, provided the right sorts of ideals exist. Here we provide an exposition of the material more in line with the modern development of pcf theory, and connect it with the problem of the consistency of a Jónsson successor of a singular.