4 problems

A sequence of finite structures is convergent if the satisfaction probability of every formula in the chosen first-order fragment converges. A sequence is residual when, in the ter…

Let $\mathbf A$ be a modeling, and for every first-order formula $\phi$ let $\langle\phi,\mathbf A\rangle$ denote its satisfaction probability in $\mathbf A$. Modeling-theory conje…

Strong mass-transport conjecture. One can require a version of the strong mass transport principle. The text explains that the inequality is immediate for first-order definable set…

A sequence of finite structures is convergent if the satisfaction probability of every formula in a fixed first-order fragment converges under a uniformly independent random assign…