Enviar artigo por via de e-mail A Disproof the Le Bars Conjecture about the Zero–One Law for Existential Monadic Second-Order Sentences
- Autores: Zhukovskii M.E.1,2, Popova S.N.1
-
Afiliações:
- Moscow Institute of Physics and Technology (State University)
- Caucasus Mathematical Center
- Edição: Volume 98, Nº 3 (2018)
- Páginas: 638-640
- Seção: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/225602
- DOI: https://doi.org/10.1134/S1064562418070311
- ID: 225602
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Sobre autores
M. Zhukovskii
Moscow Institute of Physics and Technology (State University); Caucasus Mathematical Center
Autor responsável pela correspondência
Email: zhukmax@gmail.com
Rússia, Dolgoprudnyi, Moscow oblast, 141700; Maikop, Maikop, Republic of Adygea, 385000
S. Popova
Moscow Institute of Physics and Technology (State University)
Email: zhukmax@gmail.com
Rússia, Dolgoprudnyi, Moscow oblast, 141700
Arquivos suplementares
