Химия гетероциклических соединений.
Латвийский институт органического синтеза Латвийской академии наук / 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.