Convergence Laws for Extensions of First-Order Logic with Averaging

Sam Adam-Day, Michael Benedikt, Alberto Larrauri

For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with c…