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 条
  • [21] On the first-order edge tenacity of a graph
    Bafandeh, Bahareh
    Moazzami, Dara
    Ghodousian, Amin
    DISCRETE APPLIED MATHEMATICS, 2016, 205 : 8 - 15
  • [22] On the complexity of the first-order random theory
    Lotfallah, WB
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 261 - 271
  • [23] On the Variable Hierarchy of First-Order Spectra
    Kopczynski, Eryk
    Tan, Tony
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (02)
  • [24] Verifying Graph Programs with First-Order Logic
    Wulandari, Gia S.
    Plump, Detlef
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 181 - 200
  • [25] Definability in first-order theories of graph orderings
    Ramanujam, R.
    Thinniyam, Ramanathan S.
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 403 - 420
  • [26] FIRST-ORDER TOPOLOGICAL PROPERTIES
    Gurevich, Yuri
    Van den Bussche, Jan
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2005, (87): : 155 - 164
  • [27] Fine spectra and limit laws .2. First-order 0-1 laws
    Burris, S
    Compton, K
    Odlyzko, A
    Richinond, B
    CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1997, 49 (04): : 641 - 652
  • [28] Jamming as a random first-order percolation transition
    Piscitelli, Antonio
    Coniglio, Antonio
    Fierro, Annalisa
    Ciamarra, Massimo Pica
    PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2021, 569
  • [29] First-order spectra with one binary predicate
    Durand, A
    Ranaivoson, S
    THEORETICAL COMPUTER SCIENCE, 1996, 160 (1-2) : 305 - 320
  • [30] First-order spectra with one binary predicate
    Durand, A
    Ranaivoson, S
    COMPUTER SCIENCE LOGIC, 1995, 933 : 177 - 189
12345