First-order statistics determine the complete modeling theory

Let A\mathbf A be a modeling, and for every first-order formula ϕ\phi let ϕ,A\langle\phi,\mathbf A\rangle denote its satisfaction probability in A\mathbf A. Modeling-theory conjecture. Knowledge of all values ϕ,A\langle\phi,\mathbf A\rangle for first-order formulas ϕ\phi is sufficient to deduce the complete L(Qm)\mathcal L(Q_m)-theory of A\mathbf A. 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

No solutions have been posted yet.