1 problem

Let $T$ be a theory, let $\mathcal{U}$ be a monster model of $T$, and let $\mu\in\mathfrak{M}_x(\mathcal{U})$ be a Keisler measure. A measure is dfs if it is definable and finitely…