MathDB1 problem
- 0 votes0 replies1 view
Modeling limits for convergent residual sequences
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…