A Disproof the Le Bars Conjecture about the Zero–One Law for Existential Monadic Second-Order Sentences
- 作者: Zhukovskii M.E.1,2, Popova S.N.1
-
隶属关系:
- Moscow Institute of Physics and Technology (State University)
- Caucasus Mathematical Center
- 期: 卷 98, 编号 3 (2018)
- 页面: 638-640
- 栏目: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/225602
- DOI: https://doi.org/10.1134/S1064562418070311
- ID: 225602
如何引用文章
详细
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.
作者简介
M. Zhukovskii
Moscow Institute of Physics and Technology (State University); Caucasus Mathematical Center
编辑信件的主要联系方式.
Email: zhukmax@gmail.com
俄罗斯联邦, Dolgoprudnyi, Moscow oblast, 141700; Maikop, Maikop, Republic of Adygea, 385000
S. Popova
Moscow Institute of Physics and Technology (State University)
Email: zhukmax@gmail.com
俄罗斯联邦, Dolgoprudnyi, Moscow oblast, 141700
补充文件
