First-order statistics determine the complete modeling theory
First-order statistics determine the complete modeling theory
Let be a modeling, and for every first-order formula let denote its satisfaction probability in . Modeling-theory conjecture. Knowledge of all values for first-order formulas is sufficient to deduce the complete -theory of . The supplied text states this as a conjecture after discussing the preceding characterization; no proof or disproof is provided.
Sources & referencesView supporting material
Primary source
J. Nesetril and P. Ossona de Mendez, “Existence of Modeling Limits for Sequences of Sparse Structures”, arXiv:1608.00146 (2026).
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
Sign in to submit a solution.
No solutions have been posted yet.