Химия гетероциклических соединений. Латвийский институт органического синтеза Латвийской академии наук / Springer New York Consultants Bureau. Том 53. 2017. С. 1199-1206
We consider existential monadic second-order sentences ∃X φ(X) about undirected graphs, where ∃X is a finite sequence of monadic quantifiers and φ(X) ∈ +∞ω ω is an infinite first-order formula. We prove that there exists a sentence (in the considered logic) with two monadic variables and two first-order variables such that the probability that it is true on G(n, p) does not converge. Moreover, such an example is also obtained for one monadic variable and three first-order variables. © 2017, Pleiades Publishing, Ltd.