Thorn forking, weak normality, and theories with selectors

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

引用次数: 0

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.”

查看原文本刊更多论文

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

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

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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.