A Disproof the Le Bars Conjecture about the Zero–One Law for Existential Monadic Second-Order Sentences
Sign Up to like & getrecommendations! Published in 2018 at "Doklady Mathematics"
DOI: 10.1134/s1064562418070311
Abstract: The Le Bars conjecture (2001) states that the binomial random graph G(n, $$\frac{1}{2}$$12) obeys the zero–one law for existential monadic sentences with two first-order variables. This conjecture is disproved. Moreover, it is proved that there… read more here.
Keywords: order; existential monadic; zero one; bars conjecture ... See more keywords