Abstract
Spectra of first-order formulas are studied. The spectrum of a first-order formula is the set of all positive α such that either this formula is true for the random graph G(n, n −α) with an asymptotic probability being neither 0 nor 1 or the limit does not exist. It is well known that there exists a first-order formula with an infinite spectrum. The minimum number of quantifier alternations in such a formula is found.
Similar content being viewed by others
References
N. K. Vereshchagin and A. Shen’, Languages and Calculi (MNTsMO, Moscow, 2000) [in Russian].
S. Shelah and J. H. Spencer, J. Am. Math. Soc. 1, 97–115 (1988).
Yu. V. Glebskii, D. I. Kogan, M. I. Liagonkii, and V. A. Talanov, Kibernetika 2, 17–26 (1969).
R. Fagin, J. Symbol. Logic 41, 50–58 (1976).
M. E. Zhukovskii, Discrete Math. 312, 1670–1688 (2012).
M. E. Zhukovskii, Eur. J. Combin. 60, 66–81 (2017).
M. E. Zhukovskii and L. B. Ostrovskii, Dokl. Math. 94 (2), 555–557 (2016).
M. E. Zhukovskii and A. M. Raigorodskii, Russ. Math. Surv. 70 (1), 33–81 (2015).
J. H. Spencer, Combinatorica 10 (1), 95–102 (1990).
M. Zhukovskii, Moscow J. Combin. Number Theory 6 (4), 73–102 (2016).
B. Bollobás, Math. Proc. Cambridge Phil. Soc. 90, 197–206 (1981).
A. Ruciński and A. Vince, Congr. Numerantim 49, 181–190 (1985).
J. H. Spencer, J. Combin. Theory Ser. A 53, 286–305 (1990).
N. Alon and J. H. Spencer, Probabilistic Method, 3rd ed. (Wiley, New York, 2008).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © M.E. Zhukovskii, A.D. Matushkin, 2017, published in Doklady Akademii Nauk, 2017, Vol. 475, No. 2, pp. 127–129.
Rights and permissions
About this article
Cite this article
Zhukovskii, M.E., Matushkin, A.D. Spectra of first-order formulas with a low quantifier depth and a small number of quantifier alternations. Dokl. Math. 96, 326–328 (2017). https://doi.org/10.1134/S1064562417040093
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562417040093