Annals of Pure and Applied Logic最新文献_第10页

SOP1, SOP2, and antichain tree property SOP1、SOP2 和反链树特性

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-12-11 DOI: 10.1016/j.apal.2023.103402

JinHoo Ahn , Joonhee Kim

{"title":"SOP1, SOP2, and antichain tree property","authors":"JinHoo Ahn , Joonhee Kim","doi":"10.1016/j.apal.2023.103402","DOIUrl":"10.1016/j.apal.2023.103402","url":null,"abstract":"<div>In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP2 can be witnessed by a formula with a tree of tuples holding ‘arbitrary homogeneous inconsistency’ (e.g., weak k-TP1 conditions or other possible inconsistency configurations).And we introduce a notion of tree-indiscernibility, which preserves witnesses of SOP1, and by using this, we investigate the problem of (in)equality of SOP1 and SOP2.Assuming the existence of a formula having SOP1 such that no finite conjunction of it has SOP2, we observe that the formula must witness some tree-property-like phenomenon, which we will call the antichain tree property (ATP, see Definition 4.1). We show that ATP implies SOP1 and TP2, but the converse of each implication does not hold. So the class of NATP theories (theories without ATP) contains the class of NSOP1 theories and the class of NTP2 theories.At the end of the paper, we construct a structure whose theory has a formula having ATP, but any conjunction of the formula does not have SOP2. So this example shows that SOP1 and SOP2 are not the same at the level of formulas, i.e., there is a formula having SOP1, while any finite conjunction of it does not witness SOP2 (but a variation of the formula still has SOP2).</div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 3","pages":"Article 103402"},"PeriodicalIF":0.8,"publicationDate":"2023-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138575042","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Constructing the constructible universe constructively 建构性地构建可建构宇宙

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-12-07 DOI: 10.1016/j.apal.2023.103392

Richard Matthews , Michael Rathjen

引用次数: 1

On categorical structures arising from implicative algebras: From topology to assemblies 由隐含代数产生的范畴结构:从拓扑到集合

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-11-20 DOI: 10.1016/j.apal.2023.103390

Samuele Maschio, Davide Trotta

引用次数: 0

Probabilistic temporal logic with countably additive semantics 具有可数可加语义的概率时间逻辑

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-11-14 DOI: 10.1016/j.apal.2023.103389

Dragan Doder , Zoran Ognjanović

{"title":"Probabilistic temporal logic with countably additive semantics","authors":"Dragan Doder , Zoran Ognjanović","doi":"10.1016/j.apal.2023.103389","DOIUrl":"10.1016/j.apal.2023.103389","url":null,"abstract":"<div>This work presents a proof-theoretical and model-theoretical approach to probabilistic temporal logic. We present two novel logics; each of them extends both the language of linear time logic (LTL) and the language of probabilistic logic with polynomial weight formulas. The first logic is designed for reasoning about probabilities of temporal events, allowing statements like “the probability that A will hold in next moment is at least the probability that B will always hold” and conditional probability statements like “probability that A will always hold, given that B holds, is at least one half”, where A and B are arbitrary statements. We axiomatize this logic, provide corresponding sigma additive semantics and prove that the axiomatization is sound and strongly complete. We show that the satisfiability problem for our logic is decidable, by presenting a procedure which runs in polynomial space. We also present a logic with much richer language, in which probabilities are not attached only to temporal events, but the language allows arbitrary nesting of probability and temporal operators, allowing statements like “probability that tomorrow the chance of rain will be less than 80% is at least a half”. For this logic we prove a decidability result.</div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 9","pages":"Article 103389"},"PeriodicalIF":0.8,"publicationDate":"2023-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S016800722300146X/pdfft?md5=b48bdc121fa115161627545db4c861fd&pid=1-s2.0-S016800722300146X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135716247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On duality and model theory for polyadic spaces 多进空间的对偶性与模型理论

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-11-07 DOI: 10.1016/j.apal.2023.103388

Sam van Gool, Jérémie Marquès

引用次数: 1

Pathologies in satisfaction classes 满意度课的病理学

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-10-20 DOI: 10.1016/j.apal.2023.103387

Athar Abdul-Quader , Mateusz Łełyk

引用次数: 0

On the geometric equivalence of algebras 代数的几何等价性

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-10-06 DOI: 10.1016/j.apal.2023.103386

M. Shahryari

引用次数: 0

Social welfare relations and irregular sets 社会福利关系和不规则设置

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-10-01 DOI: 10.1016/j.apal.2023.103302

Ram Sewak Dubey , Giorgio Laguzzi

引用次数: 0

Krull dimension in set theory 集合论中的库尔维数

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-10-01 DOI: 10.1016/j.apal.2023.103299

Jindřich Zapletal

引用次数: 3

Carlson-Simpson's lemma and applications in reverse mathematics 卡尔森-辛普森引理及其在逆向数学中的应用

IF 0.8 2区数学

Annals of Pure and Applied Logic Pub Date : 2023-10-01 DOI: 10.1016/j.apal.2023.103287

Paul-Elliot Angles d'Auriac , Lu Liu , Bastien Mignoty , Ludovic Patey

引用次数: 0