Мақаланы E-mail арқылы жіберу 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
Қосымша файлдар
