Existence of a dfs measure that is not finitely approximated
Existence of a dfs measure that is not finitely approximated
Let be a theory, let be a monster model of , and let be a Keisler measure. A measure is dfs if it is definable and finitely satisfiable. Existence conjecture. There is a theory and a Keisler measure such that 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.