Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

S. N. Popova, M. E. Zhukovskii. Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false. Annals of Pure and Applied Logic, 170(4):505-514, 2019. [doi]

Abstract

Abstract is missing.