Switch to: References

Add citations

You must login to add citations.
  1. Logical laws for short existential monadic second-order sentences about graphs.M. E. Zhukovskii - 2019 - Journal of Mathematical Logic 20 (2):2050007.
    In 2001, Le Bars proved that there exists an existential monadic second-order sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence.
    Download  
     
    Export citation  
     
    Bookmark