A zero-one law for first-order logic on random images

David Coupier, Agnès Desolneux, Bernard Ycart

For an $n\times n$ random image with independent pixels, black with probability $p(n)$ and white with probability $1-p(n)$, the probability of satisfying any given first-order sent…