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

Indianapolis, IN(1998)

引用 32|浏览272
暂无评分
摘要
We prove that there is a Monadic Σ11 (Minimal Scott without equality) sentence without an asymptotic probability. Our result entails that the 0-1 law fails for the logics Σ11(FO2) and Σ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 Σ 11 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
更多
查看译文
关键词
formal logic,probability,0-1 laws,Minimal Godel,Minimal Scott,existential second-order logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要