The 0-1 law fails for monadic existential second-order logic on undirected graphs

Jean-Marie Le Bars. The 0-1 law fails for monadic existential second-order logic on undirected graphs. Inf. Process. Lett., 77(1):43-48, 2001. [doi]

Abstract

Abstract is missing.