The 0-1 law fails for the class of existential second order Godel sentences with equality
30th Annual Symposium on Foundations of Computer Science
W. Szwast
Random graphs and the parity quantifier