Fragments of existential second-order logic without 0-1 laws

被引:3
|
作者
Le Bars, JM [1 ]
机构
[1] Univ Caen, GREYC, F-14032 Caen, France
关键词
D O I
10.1109/LICS.1998.705685
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We prove that there is a Monadic Sigma(1)(1) (Minimal Scott without equality) sentence without an asymptotic probability. Our result entails that the 0-1 law fails for the logics Sigma(1)(1) (FO2) and Sigma(1)(1) (Minimal Godel without equality). Therefore we achieve the classification of First-order prefix classes with or without equality. according to the existence of the 0-1 law for the corresponding Sigma(1)(1) fragment. In addition, our counterexample can be viewed as a single explanation of the failure of the 0-1 law of all the fragments of existential second-order logic for which the failure is already known.
引用
收藏
页码:525 / 536
页数:12
相关论文
共 50 条
  • [21] Logical Laws for Existential Monadic Second-Order Sentences with Infinite First-Order Parts
    Zhukovskii, M. E.
    Sanchez, M. G.
    DOKLADY MATHEMATICS, 2017, 96 (03) : 598 - 600
  • [22] An existential fragment of second order logic
    Rosen, E
    ARCHIVE FOR MATHEMATICAL LOGIC, 1999, 38 (4-5) : 217 - 234
  • [23] Pure Second-Order Logic with Second-Order Identity
    Paseau, Alexander
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (03) : 351 - 360
  • [24] One quantifier will do in existential monadic second-order logic over pictures
    Matz, O
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 751 - 759
  • [25] ON THE UNION CLOSED FRAGMENT OF EXISTENTIAL SECOND-ORDER LOGIC AND LOGICS WITH TEAM SEMANTICS
    Hoelzel M.
    Wilke R.
    Logical Methods in Computer Science, 2021, 17 (03): : 14:1 - 14:32
  • [26] A combinatorial cut-and-lift procedure with an application to 0-1 second-order conic programming
    Castro, Margarita P.
    Cire, Andre A.
    Beck, J. Christopher
    MATHEMATICAL PROGRAMMING, 2022, 196 (1-2) : 115 - 171
  • [27] AN EXTENSION OF 0-1 LAWS
    LYNCH, JF
    RANDOM STRUCTURES & ALGORITHMS, 1994, 5 (01) : 155 - 172
  • [28] 0-1 laws by preservation
    Lacoste, T
    THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 237 - 245
  • [29] 0-1 laws for maps
    Bender, EA
    Compton, KJ
    Richmond, LB
    RANDOM STRUCTURES & ALGORITHMS, 1999, 14 (03) : 215 - 237
  • [30] On Failure of 0-1 Laws
    Shelah, Saharon
    FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 : 293 - 296