Existence of a dfs measure that is not finitely approximated

Let TT be a theory, let U\mathcal{U} be a monster model of TT, and let μMx(U)\mu\in\mathfrak{M}_x(\mathcal{U}) be a Keisler measure. A measure is dfs if it is definable and finitely satisfiable. Existence conjecture. There is a theory TT and a Keisler measure μMx(U)\mu\in\mathfrak{M}_x(\mathcal{U}) such that μ\mu is dfs but not finitely approximated.

The examples preceding this conjecture exhibit dfs measures that are not finitely approximated in related settings, while also noting that the relevant measure need not extend to a global dfs measure. The conjecture asks whether such a measure exists for some theory in general.

Sources & referencesView supporting material

Primary source

Gabriel Conant and Kyle Gannon, “Remarks on generic stability in independent theories”, arXiv:1905.11915 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.