On limit points of spectra of the random graph first-order properties

被引：0
|
作者：
M. E. Zhukovskii
机构：
[1] Moscow Institute of Physics and Technology (State University),
来源：
Doklady Mathematics | 2015年 / 92卷
关键词：
Limit Point; Random Graph; DOKLADY Mathematic; Winning Strategy; Order Property;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
New bounds on the minimum and maximum limit points of spectra of first-order properties of the Erdös–Rényi random graph are obtained. These results are used to improve bounds on the minimal quantifier depths of first-order formulas with infinite spectra. Moreover, we prove that there are no limit points of the spectra in the interval (1–21–k, 1).
引用
收藏
页码：719 / 722
页数：3
相关论文
共 50 条
  • [31] A NOTE ON FIRST-ORDER SPECTRA WITH BINARY RELATIONS
    Kopczynski, Eryk
    Tan, Tony
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
  • [32] TURING MACHINES AND SPECTRA OF FIRST-ORDER FORMULAS
    JONES, ND
    SELMAN, AL
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 139 - 150
  • [33] First-order spectra with one binary predicate
    Universite de Caen, Caen, France
    Theor Comput Sci, 1-2 (305-320):
  • [34] First-order properties of bounded quantifier depth of very sparse random graphs
    Zhukovskii, Maksim E.
    Ostrovskii, Lev B.
    IZVESTIYA MATHEMATICS, 2017, 81 (06) : 1155 - 1167
  • [35] SPECTRAL PROPERTIES OF FIRST-ORDER NETWORKS HAVING BINARY RANDOM PARAMETER VARIATION
    REDMAN, SJ
    LAMPARD, DG
    IEEE TRANSACTIONS ON CIRCUIT THEORY, 1964, CT11 (02): : 202 - &
  • [36] Limit cycles in the presence of convection: a first-order analysis
    Flach, E. H.
    Norbury, J.
    Schnell, S.
    JOURNAL OF MATHEMATICAL CHEMISTRY, 2008, 43 (01) : 101 - 110
  • [37] Limit cycles in the presence of convection: a first-order analysis
    E. H. Flach
    J. Norbury
    S. Schnell
    Journal of Mathematical Chemistry, 2008, 43 : 101 - 110
  • [38] First-order logic axiomatization of metric graph theory
    Chalopin, Jérémie
    Changat, Manoj
    Chepoi, Victor
    Jacob, Jeny
    Theoretical Computer Science, 2024, 993
  • [39] First-order logic axiomatization of metric graph theory
    Chalopin, Jeremie
    Changat, Manoj
    Chepoi, Victor
    Jacob, Jeny
    THEORETICAL COMPUTER SCIENCE, 2024, 993
  • [40] Limit theory for random coefficient first-order autoregressive process under martingale difference error sequence
    Zhao, Zhi-Wen
    Wang, De-Hui
    Zhang, Yong
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2011, 235 (08) : 2515 - 2522
12345