Abstract

Glebskii et al. (1969) and Fagin (1975) first proved a Zero-One Law with respect to First Order-logic on the Erdos-Renyi random graph \(G(n,p)\) with \(p=\frac12\). Since then, multiple classes of graphs have been proven to obey a Zero-One Law or not, on different kinds of logical languages. The class of
... read more