关于图的存在一元二阶短句的逻辑规律

IF 0.9 1区数学 Q1 LOGIC Journal of Mathematical Logic Pub Date : 2019-12-12 DOI:10.1142/s0219061320500075

M. Zhukovskii

{"title":"关于图的存在一元二阶短句的逻辑规律","authors":"M. Zhukovskii","doi":"10.1142/s0219061320500075","DOIUrl":null,"url":null,"abstract":"In 2001, Le Bars proved that there exists an existential monadic second-order (EMSO) sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence (even for [Formula: see text]).","PeriodicalId":50144,"journal":{"name":"Journal of Mathematical Logic","volume":"22 1","pages":"2050007:1-2050007:23"},"PeriodicalIF":0.9000,"publicationDate":"2019-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Logical laws for short existential monadic second-order sentences about graphs\",\"authors\":\"M. Zhukovskii\",\"doi\":\"10.1142/s0219061320500075\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In 2001, Le Bars proved that there exists an existential monadic second-order (EMSO) sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence (even for [Formula: see text]).\",\"PeriodicalId\":50144,\"journal\":{\"name\":\"Journal of Mathematical Logic\",\"volume\":\"22 1\",\"pages\":\"2050007:1-2050007:23\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2019-12-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1142/s0219061320500075\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s0219061320500075","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 8

摘要

2001年，Le Bars证明存在一个存在一元二阶(EMSO)句子，使得它在[公式:见文本]上为真的概率不收敛，并推测，对于具有两个一阶变量的EMSO句子，零- 1定律成立。在本文中，我们证明了[公式:见文]的猜想是不成立的，并给出了变量较少而不收敛的句子的新例子(即使对于[公式:见文])。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Logical laws for short existential monadic second-order sentences about graphs

In 2001, Le Bars proved that there exists an existential monadic second-order (EMSO) sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence (even for [Formula: see text]).

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Mathematical Logic MATHEMATICS-LOGIC

CiteScore

1.60

自引率

11.10%

发文量

审稿时长

>12 weeks

期刊介绍： The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.

期刊最新文献

The descriptive complexity of the set of Poisson generic numbers Non-Galvin filters On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2 Rings of finite Morley rank without the canonical base property The mouse set theorem just past projective