Vol. 9, No. 3, 2020

Download this article
Download this article For screen
For printing
Recent Issues
Volume 14, Issue 1
Volume 13, Issue 4
Volume 13, Issue 3
Volume 13, Issue 2
Volume 13, Issue 1
Volume 12, Issue 4
Volume 12, Issue 3
Volume 12, Issue 2
Volume 12, Issue 1
Volume 11, Issue 4
Volume 11, Issue 3
Volume 11, Issue 2
Volume 11, Issue 1
Volume 10, Issue 4
Volume 10, Issue 3
Volume 10, Issue 2
Volume 10, Issue 1
Volume 9, Issue 4
Volume 9, Issue 3
Volume 9, Issue 2
Volume 9, Issue 1
Volume 8, Issue 4
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Older Issues
Volume 7, Issue 4
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 4
Volume 6, Issue 2-3
Volume 6, Issue 1
Volume 5, Issue 4
Volume 5, Issue 3
Volume 5, Issue 1-2
Volume 4, Issue 4
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Issue 3-4
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 4
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 4
Volume 1, Issue 3
Volume 1, Issue 2
Volume 1, Issue 1
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
founded and published with the
scientific support and advice of
mathematicians from the
Moscow Institute of
Physics and Technology
Subscriptions
 
ISSN 2996-220X (online)
ISSN 2996-2196 (print)
Author Index
To Appear
 
Other MSP Journals
On limit points of spectra of first-order sentences with quantifier depth 4

Yury Yarovikov

Vol. 9 (2020), No. 3, 303–331
Abstract

We study the asymptotic behavior of probabilities of first-order properties of sparse binomial random graphs. We consider properties with quantifier depth not more than 4. It is known that the only possible limit points of the spectrum (i.e., the set of all positive α such that G(n,nα) does not obey the zero-one law with respect to the property) of such a property are 1/2 and 3/5. We prove that 1/2 is not a limit point of the spectrum.

Keywords
random graphs, first-order logic, zero-one law
Mathematical Subject Classification 2010
Primary: 05C80
Milestones
Received: 4 December 2019
Revised: 4 May 2020
Accepted: 28 May 2020
Published: 15 October 2020
Authors
Yury Yarovikov
Moscow Institute of Physics and Technology
Moscow
Russia