荆棘分叉，弱正态性和选择器理论

IF 0.5 3区数学 Q3 LOGIC

Journal of Symbolic Logic Pub Date : 2023-09-11 DOI:10.1017/jsl.2023.64

Daniel Max Hoffmann, Anand Pillay

{"title":"荆棘分叉，弱正态性和选择器理论","authors":"Daniel Max Hoffmann, Anand Pillay","doi":"10.1017/jsl.2023.64","DOIUrl":null,"url":null,"abstract":"Abstract We discuss the role of weakly normal formulas in the theory of thorn forking, as part of a commentary on the paper [5]. We also give a counterexample to Corollary 4.2 from that paper, and in the process discuss “theories with selectors.”","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.5000,"publicationDate":"2023-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Thorn forking, weak normality, and theories with selectors\",\"authors\":\"Daniel Max Hoffmann, Anand Pillay\",\"doi\":\"10.1017/jsl.2023.64\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract We discuss the role of weakly normal formulas in the theory of thorn forking, as part of a commentary on the paper [5]. We also give a counterexample to Corollary 4.2 from that paper, and in the process discuss “theories with selectors.”\",\"PeriodicalId\":17088,\"journal\":{\"name\":\"Journal of Symbolic Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2023-09-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Symbolic Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/jsl.2023.64\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Symbolic Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/jsl.2023.64","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

摘要讨论了弱正规公式在刺分叉理论中的作用，作为对论文[5]的评论。我们还给出了该论文中推论4.2的反例，并在此过程中讨论了“带有选择器的理论”。

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

查看原文本刊更多论文

Thorn forking, weak normality, and theories with selectors

Abstract We discuss the role of weakly normal formulas in the theory of thorn forking, as part of a commentary on the paper [5]. We also give a counterexample to Corollary 4.2 from that paper, and in the process discuss “theories with selectors.”

求助全文

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

来源期刊

Journal of Symbolic Logic 数学-数学

CiteScore

1.20

自引率

16.70%

发文量

审稿时长

6-12 weeks

期刊介绍： The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Papers are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience. JSL has been, since its establishment in 1936, the leading journal in the world devoted to mathematical logic. Its prestige derives from its longevity and from the standard of submissions -- which, combined with the standards of reviewing, all contribute to the fact that it receives more citations than any other journal in logic.