Abstract
The Le Bars conjecture (2001) states that the binomial random graph G(n, \(\frac{1}{2}\)) obeys the zero–one law for existential monadic sentences with two first-order variables. This conjecture is disproved. Moreover, it is proved that there exists an existential monadic sentence with a single monadic variable and two first-order variables whose truth probability does not converge.
Similar content being viewed by others
References
M. E. Zhukovskii and A. M. Raigorodskii, Russ. Math. Surv. 70 (1), 33–81 (2015).
S. Janson, T. Luczak, and A. Rucinski, Random Graphs (Wiley, New York, 2000).
J. H. Spencer, The Strange Logic of Random Graphs (Springer, Berlin, 2001).
N. K. Vereshchagin and A. Shen’, Languages and Calculi (MNTsMO, Moscow, 2000) [in Russian].
M. E. Zhukovskii and M. G. Sánchez, Dokl. Math. 96 (3), 598–600 (2017).
J.-M. Le Bars, Inf. Process. Lett. 77, 43–48 (2001).
L. Libkin, Elements of Finite Model Theory (Springer, Berlin, 2004).
Yu. V. Glebskii, D. I. Kogan, M. I. Legon’kii, and V. A. Talanov, Kibernetika 2, 17–27 (1969).
R. Fagin, J. Symbol. Logic 41, 50–58 (1976).
M. E. Zhukovskii and A. E. Medvedeva, Math. Notes 99 (3), 362–367 (2016).
M. E. Zhukovskii and L. B. Ostrovskii, Izv. Math. 81 (6), 1155–1167 (2017).
A. D. Matushkin and M. E. Zhukovskii, Discrete Appl. Math. 236, 329–346 (2018).
M. Kaufmann and S. Shelah, Discrete Math. 54, 285–293 (1985).
M. Kaufmann, “Counterexample to the 0–1 law for existential monadic second-order logic,” Technical Report, CLI Internal Note 32, Computational Logic Inc., December, 1987.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © M.E. Zhukovskii, S.N. Popova, 2018, published in Doklady Akademii Nauk, 2018, Vol. 483, No. 6.
Rights and permissions
About this article
Cite this article
Zhukovskii, M.E., Popova, S.N. A Disproof the Le Bars Conjecture about the Zero–One Law for Existential Monadic Second-Order Sentences. Dokl. Math. 98, 638–640 (2018). https://doi.org/10.1134/S1064562418070311
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562418070311