Annals of Pure and Applied Logic最新文献

筛选
英文 中文
The DeMorganization of a locale 场所的非组织化
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-07-08 DOI: 10.1016/j.apal.2025.103634
Igor Arrieta
{"title":"The DeMorganization of a locale","authors":"Igor Arrieta","doi":"10.1016/j.apal.2025.103634","DOIUrl":"10.1016/j.apal.2025.103634","url":null,"abstract":"<div><div>In 2009, Caramello proved that each topos has a largest dense subtopos whose internal logic satisfies De Morgan law (also known as the law of the weak excluded middle). This finding implies that every locale has a largest dense extremally disconnected sublocale, referred to as its DeMorganization. In this paper, we take the first steps in exploring the DeMorganization in the localic context, shedding light on its geometric nature by showing that it is always a fitted sublocale and by providing a concrete description. Explicit examples of DeMorganizations for toposes that do not satisfy De Morgan law are rather difficult to find. We present a contribution in that direction, with the main result of the paper showing that for any metrizable locale (without isolated points), its DeMorganization coincides with its Booleanization. This, in particular, implies that any extremally disconnected metric locale (without isolated points) must be Boolean, generalizing a well-known result for topological spaces to the localic setting.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103634"},"PeriodicalIF":0.6,"publicationDate":"2025-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144587704","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
The unstable formula theorem revisited via algorithms 通过算法重新考察了不稳定公式定理
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-07-07 DOI: 10.1016/j.apal.2025.103633
M. Malliaris , S. Moran
{"title":"The unstable formula theorem revisited via algorithms","authors":"M. Malliaris ,&nbsp;S. Moran","doi":"10.1016/j.apal.2025.103633","DOIUrl":"10.1016/j.apal.2025.103633","url":null,"abstract":"<div><div>This paper is about the surprising interaction of a foundational result from model theory, about stability of theories, with algorithmic stability in learning. First, in response to gaps in existing learning models, we introduce a new statistical learning model, called “Probably Eventually Correct” or PEC. We characterize Littlestone (stable) classes in terms of this model. As a corollary, Littlestone classes have frequent short definitions in a natural statistical sense. In order to obtain a characterization of Littlestone classes in terms of frequent definitions, we build an equivalence theorem highlighting what is common to many existing approximation algorithms, and to the new PEC. This is guided by an analogy to definability of types in model theory, but has its own character. Drawing on these theorems and on other recent work, we present a complete algorithmic analogue of Shelah's celebrated Unstable Formula Theorem, with algorithmic properties taking the place of the infinite.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103633"},"PeriodicalIF":0.6,"publicationDate":"2025-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144632237","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
On definable Skolem functions and trichotomy 关于可定义Skolem函数和三分法
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-07-04 DOI: 10.1016/j.apal.2025.103632
Bruno Dinis , Mário J. Edmundo
{"title":"On definable Skolem functions and trichotomy","authors":"Bruno Dinis ,&nbsp;Mário J. Edmundo","doi":"10.1016/j.apal.2025.103632","DOIUrl":"10.1016/j.apal.2025.103632","url":null,"abstract":"<div><div>In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over ∅ and finitely many open intervals each a union of a ∅-definable family of group-intervals with fixed positive elements.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103632"},"PeriodicalIF":0.6,"publicationDate":"2025-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144580943","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
On Recurrence Axioms 关于递归公理
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-06-30 DOI: 10.1016/j.apal.2025.103631
Sakaé Fuchino , Toshimichi Usuba
{"title":"On Recurrence Axioms","authors":"Sakaé Fuchino ,&nbsp;Toshimichi Usuba","doi":"10.1016/j.apal.2025.103631","DOIUrl":"10.1016/j.apal.2025.103631","url":null,"abstract":"<div><div>The Recurrence Axiom for a class <span><math><mi>P</mi></math></span> of posets and a set <em>A</em> of parameters is an axiom scheme in the language of <span>ZFC</span> asserting that if a statement with parameters from <em>A</em> is forced by a poset in <span><math><mi>P</mi></math></span>, then there is a ground containing the parameters and satisfying the statement.</div><div>The tightly super-<span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>(</mo><mo>∞</mo><mo>)</mo></mrow></msup></math></span>-<span><math><mi>P</mi></math></span>-Laver generic hyperhuge continuum implies the Recurrence Axiom for <span><math><mi>P</mi></math></span> and <span><math><mi>H</mi><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></msup><mo>)</mo></math></span>. The consistency strength of this assumption can be decided thanks to our main theorems asserting that the minimal ground (bedrock) exists under a tightly <span><math><mi>P</mi></math></span>-generic hyperhuge cardinal <em>κ</em>, and that <em>κ</em> in the bedrock is genuinely hyperhuge, or even super <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>(</mo><mo>∞</mo><mo>)</mo></mrow></msup></math></span> hyperhuge if <em>κ</em> is a tightly super-<span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>(</mo><mo>∞</mo><mo>)</mo></mrow></msup></math></span>-<span><math><mi>P</mi></math></span>-Laver generic hyperhuge definable cardinal.</div><div>The Laver Generic Maximum (<span>LGM</span>), one of the strongest combinations of axioms in our context, integrates practically all known set-theoretic principles and axioms in itself, either as its consequences or as theorems holding in (many) grounds of the universe. For instance, double plus version of Martin's Maximum is a consequence of <span>LGM</span> while Cichoń's Maximum is a phenomenon in many grounds of the universe under <span>LGM</span>.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103631"},"PeriodicalIF":0.6,"publicationDate":"2025-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144556730","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
Topological games in Ramsey spaces Ramsey空间中的拓扑对策
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-06-26 DOI: 10.1016/j.apal.2025.103630
Julián C. Cano , Carlos A. Di Prisco
{"title":"Topological games in Ramsey spaces","authors":"Julián C. Cano ,&nbsp;Carlos A. Di Prisco","doi":"10.1016/j.apal.2025.103630","DOIUrl":"10.1016/j.apal.2025.103630","url":null,"abstract":"<div><div>Topological Ramsey theory studies a class of combinatorial topological spaces, known as topological Ramsey spaces, unifying the essential features of those combinatorial frames where the Ramsey property is equivalent to the Baire property. In this article, we present a general overview of the combinatorial structure of topological Ramsey spaces and their main properties, and we propose an alternative proof of the abstract Ellentuck theorem for a large family of axiomatized topological Ramsey spaces. Additionally, we introduce the notion of selective axiomatized topological Ramsey space, and generalize Kastanas games in order to characterize the Ramsey property for this broad family of topological Ramsey spaces through topological games.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103630"},"PeriodicalIF":0.6,"publicationDate":"2025-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144514036","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
Unstable independence from the categorical point of view 从分类的观点来看,不稳定的独立性
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-06-17 DOI: 10.1016/j.apal.2025.103629
Mark Kamsma , Jiří Rosický
{"title":"Unstable independence from the categorical point of view","authors":"Mark Kamsma ,&nbsp;Jiří Rosický","doi":"10.1016/j.apal.2025.103629","DOIUrl":"10.1016/j.apal.2025.103629","url":null,"abstract":"<div><div>We give a category-theoretic construction of simple and NSOP<sub>1</sub>-like independence relations in locally finitely presentable categories, and in the more general locally finitely multipresentable categories. We do so by identifying properties of a class of monomorphisms <span><math><mi>M</mi></math></span> such that the pullback squares consisting of morphisms in <span><math><mi>M</mi></math></span> form the desired independence relation. This generalizes the category-theoretic construction of stable independence relations using effective unions or cellular squares by M. Lieberman, S. Vasey and the second author to the unstable setting.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103629"},"PeriodicalIF":0.6,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144322319","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
An explicit Kuznetsov-Muravitsky enrichment 一个明确的库兹涅佐夫-穆拉维茨基浓缩
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-06-11 DOI: 10.1016/j.apal.2025.103628
Mamuka Jibladze, Evgeny Kuznetsov
{"title":"An explicit Kuznetsov-Muravitsky enrichment","authors":"Mamuka Jibladze,&nbsp;Evgeny Kuznetsov","doi":"10.1016/j.apal.2025.103628","DOIUrl":"10.1016/j.apal.2025.103628","url":null,"abstract":"<div><div>An embedding of arbitrary Heyting algebra <em>H</em> into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to the variety of Heyting algebras generated by <em>H</em>.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103628"},"PeriodicalIF":0.6,"publicationDate":"2025-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144364463","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
Automorphisms of P(ω)/fin and large continuum P(ω)/fin与大连续体的自同构
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-06-10 DOI: 10.1016/j.apal.2025.103627
Alan Dow
{"title":"Automorphisms of P(ω)/fin and large continuum","authors":"Alan Dow","doi":"10.1016/j.apal.2025.103627","DOIUrl":"10.1016/j.apal.2025.103627","url":null,"abstract":"<div><div>We prove that it is consistent with <span><math><mi>c</mi><mo>&gt;</mo><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> that all automorphisms of <span><math><mi>P</mi><mo>(</mo><mi>ω</mi><mo>)</mo><mo>/</mo><mtext>fin</mtext></math></span> are trivial.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 10","pages":"Article 103627"},"PeriodicalIF":0.6,"publicationDate":"2025-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144263932","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
Indestructible supercompactness and level by level inequivalence 不可摧毁的超紧性和逐级的不等价
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-05-30 DOI: 10.1016/j.apal.2025.103618
Arthur W. Apter
{"title":"Indestructible supercompactness and level by level inequivalence","authors":"Arthur W. Apter","doi":"10.1016/j.apal.2025.103618","DOIUrl":"10.1016/j.apal.2025.103618","url":null,"abstract":"<div><div>We construct via forcing a model for the level by level inequivalence between strong compactness and supercompactness containing a fully indestructible supercompact cardinal. This answers a question posed at the end of <span><span>[2]</span></span> and <span><span>[6]</span></span>.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 9","pages":"Article 103618"},"PeriodicalIF":0.6,"publicationDate":"2025-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144204601","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
Equational definitions of logical filters 逻辑滤波器的等式定义
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-05-28 DOI: 10.1016/j.apal.2025.103617
Michele Pra Baldi , Adam Přenosil
{"title":"Equational definitions of logical filters","authors":"Michele Pra Baldi ,&nbsp;Adam Přenosil","doi":"10.1016/j.apal.2025.103617","DOIUrl":"10.1016/j.apal.2025.103617","url":null,"abstract":"<div><div>A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type of algebraic interpretation has been extensively studied and underlies the theory of algebraization, whereas little systematic attention has been paid to the latter type. We investigate a semantic form of the latter type of algebraic interpretation, which we call the equational definability of compact filters (EDCF). Paralleling the well-studied hierarchy of variants of the deduction–detachment theorem (DDT), this property also comes in local, parametrized, and parametrized local variants. The main results of this paper characterize of each of these variants of the EDCF in a spirit similar to the existing characterizations of the DDT. While the EDCF hierarchy and the DDT hierarchy coincide for algebraizable logics, part of the interest of the EDCF stems from the fact it is often enjoyed even by logics which are not well-behaved in terms of other existing classifications in algebraic logic.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 9","pages":"Article 103617"},"PeriodicalIF":0.6,"publicationDate":"2025-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144170698","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信