Spectra of first-order formulas with a low quantifier depth and a small number of quantifier alternations


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

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.

About the authors

M. E. Zhukovskii

Tambov State University

Author for correspondence.
Email: zhukmax@gmail.com
Russian Federation, Tambov

A. D. Matushkin

Moscow Institute of Physics and Technology (State University)

Email: zhukmax@gmail.com
Russian Federation, Dolgoprudnyi, Moscow oblast, 141700


Copyright (c) 2017 Pleiades Publishing, Ltd.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies