Photo by inakihxz from unsplash
The Le Bars conjecture (2001) states that the binomial random graph G(n, $$\frac{1}{2}$$12) obeys the zero–one law for existential monadic sentences with two first-order variables. This conjecture is disproved. Moreover,… Click to show full abstract
The Le Bars conjecture (2001) states that the binomial random graph G(n, $$\frac{1}{2}$$12) 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.
Keywords:
order;
existential monadic;
zero one;
bars conjecture;
law existential;
one law
Journal Title: Doklady Mathematics
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Doklady Mathematics
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!