A Disproof the Le Bars Conjecture about the Zero–One Law for Existential Monadic Second-Order Sentences


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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

补充文件

附件文件
动作
1. JATS XML

版权所有 © Pleiades Publishing, Ltd., 2018