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 条