发布求助
文献互助 智能选刊 最新文献

Annals of Pure and Applied Logic最新文献

筛选
英文 中文
Semiconic idempotent logic I: Structure and local deduction theorems 半子幂等逻辑 I：结构和局部演绎定理
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-27 DOI: 10.1016/j.apal.2024.103443
Wesley Fussner , Nikolaos Galatos
{"title":"Semiconic idempotent logic I: Structure and local deduction theorems","authors":"Wesley Fussner ,&nbsp;Nikolaos Galatos","doi":"10.1016/j.apal.2024.103443","DOIUrl":"https://doi.org/10.1016/j.apal.2024.103443","url":null,"abstract":"<div><p>Semiconic idempotent logic is a common generalization of intuitionistic logic, relevance logic with mingle, and semilinear idempotent logic. It is an algebraizable logic and it admits a cut-free hypersequent calculus. We give a structural decomposition of its characteristic algebraic semantics, conic idempotent residuated lattices, showing that each of these is an ordinal sum of simpler partially ordered structures. This ordinal sum is indexed by a totally ordered residuated lattice, which serves as its skeleton and is both a subalgebra and nuclear image. We equationally characterize the totally ordered residuated lattices appearing as such skeletons. Further, we describe both congruence and subalgebra generation in conic idempotent residuated lattices, proving that every variety generated by these enjoys the congruence extension property. In particular, this holds for semilinear idempotent residuated lattices. Based on this analysis, we obtain a local deduction theorem for semiconic idempotent logic, which also specializes to semilinear idempotent logic.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103443"},"PeriodicalIF":0.8,"publicationDate":"2024-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140351300","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
Vector spaces with a dense-codense generic submodule 具有密集编码通用子模的向量空间
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-20 DOI: 10.1016/j.apal.2024.103442
Alexander Berenstein , Christian d'Elbée , Evgueni Vassiliev
{"title":"Vector spaces with a dense-codense generic submodule","authors":"Alexander Berenstein ,&nbsp;Christian d'Elbée ,&nbsp;Evgueni Vassiliev","doi":"10.1016/j.apal.2024.103442","DOIUrl":"10.1016/j.apal.2024.103442","url":null,"abstract":"<div><p>We study expansions of a vector space <em>V</em> over a field <span><math><mi>F</mi></math></span>, possibly with extra structure, with a generic submodule over a subring of <span><math><mi>F</mi></math></span>. We construct a natural expansion by existentially defined functions so that the expansion in the extended language satisfies quantifier elimination. We show that this expansion preserves tame model theoretic properties such as stability, NIP, NTP<sub>1</sub>, NTP<sub>2</sub> and NSOP<sub>1</sub>. We also study induced independence relations in the expansion.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103442"},"PeriodicalIF":0.8,"publicationDate":"2024-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000393/pdfft?md5=fd08d79c1ad25fa3a82b484379634feb&pid=1-s2.0-S0168007224000393-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140325707","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
Computable Scott sentences and the weak Whitehead problem for finitely presented groups 有限呈现群的可计算斯科特句子和弱怀特海问题
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-20 DOI: 10.1016/j.apal.2024.103441
Gianluca Paolini
{"title":"Computable Scott sentences and the weak Whitehead problem for finitely presented groups","authors":"Gianluca Paolini","doi":"10.1016/j.apal.2024.103441","DOIUrl":"10.1016/j.apal.2024.103441","url":null,"abstract":"<div><p>We prove that if <em>A</em> is a computable Hopfian finitely presented structure, then <em>A</em> has a computable <em>d</em>-<span><math><msub><mrow><mi>Σ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> Scott sentence if and only if the weak Whitehead problem for <em>A</em> is decidable. We use this to infer that every hyperbolic group as well as any polycyclic-by-finite group has a computable <em>d</em>-<span><math><msub><mrow><mi>Σ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> Scott sentence, thus covering two main classes of finitely presented groups. Our proof also implies that every weakly Hopfian finitely presented group is strongly defined by its <span><math><msup><mrow><mo>∃</mo></mrow><mrow><mo>+</mo></mrow></msup></math></span>-types, a question which arose in a different context.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103441"},"PeriodicalIF":0.8,"publicationDate":"2024-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140324351","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
Generalized independence 普遍独立性
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-20 DOI: 10.1016/j.apal.2024.103440
Fernando Hernández-Hernández , Carlos López-Callejas
{"title":"Generalized independence","authors":"Fernando Hernández-Hernández ,&nbsp;Carlos López-Callejas","doi":"10.1016/j.apal.2024.103440","DOIUrl":"10.1016/j.apal.2024.103440","url":null,"abstract":"<div><p>We explore different generalizations of the classical concept of independent families on <em>ω</em> following the study initiated by Kunen, Fischer, Eskew and Montoya. We show that under <span><math><msubsup><mrow><mo>(</mo><mi>D</mi><mi>ℓ</mi><mo>)</mo></mrow><mrow><mi>κ</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span> we can get strongly <em>κ</em>-independent families of size <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>κ</mi></mrow></msup></math></span> and present an equivalence of <span><math><mi>GCH</mi></math></span> in terms of strongly independent families. We merge the two natural ways of generalizing independent families through a filter or an ideal and we focus on the <span><math><mi>C</mi></math></span>-independent families, where <span><math><mi>C</mi></math></span> is the club filter. Also we show a relationship between the existence of <span><math><mi>J</mi></math></span>-independent families and the saturation of the ideal <span><math><mi>J</mi></math></span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103440"},"PeriodicalIF":0.8,"publicationDate":"2024-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140274442","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
Big Ramsey degrees in ultraproducts of finite structures 有限结构超积中的大拉姆齐度
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-19 DOI: 10.1016/j.apal.2024.103439
Dana Bartošová , Mirna Džamonja , Rehana Patel , Lynn Scow
{"title":"Big Ramsey degrees in ultraproducts of finite structures","authors":"Dana Bartošová ,&nbsp;Mirna Džamonja ,&nbsp;Rehana Patel ,&nbsp;Lynn Scow","doi":"10.1016/j.apal.2024.103439","DOIUrl":"10.1016/j.apal.2024.103439","url":null,"abstract":"<div><p>We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized) Continuum Hypothesis the ultraproduct has finite big Ramsey degrees for internal colorings. The necessity of restricting to internal colorings is demonstrated by the example of the ultraproduct of finite linear orders. Under CH, this ultraproduct <span><math><msup><mrow><mi>L</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> has, as a spine, <span><math><msub><mrow><mi>η</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>, an uncountable analogue of the order type of rationals <em>η</em>. Finite big Ramsey degrees for <em>η</em> were exactly calculated by Devlin in <span>[5]</span>. It is immediate from <span>[39]</span> that <span><math><msub><mrow><mi>η</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> fails to have finite big Ramsey degrees. Moreover, we extend Devlin's coloring to <span><math><msub><mrow><mi>η</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> to show that it witnesses big Ramsey degrees of finite tuples in <em>η</em> on every copy of <em>η</em> in <span><math><msub><mrow><mi>η</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>, and consequently in <span><math><msup><mrow><mi>L</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>. This work gives additional confirmation that ultraproducts are a suitable environment for studying Ramsey properties of finite and infinite structures.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103439"},"PeriodicalIF":0.8,"publicationDate":"2024-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000368/pdfft?md5=96a2fc37ad227ed1f90534ab7367f0e2&pid=1-s2.0-S0168007224000368-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140181925","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
Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field 超无穷域上多项式环的高等互易律和格伦瓦尔德-王定理类似物
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-18 DOI: 10.1016/j.apal.2024.103438
Dong Quan Ngoc Nguyen
{"title":"Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field","authors":"Dong Quan Ngoc Nguyen","doi":"10.1016/j.apal.2024.103438","DOIUrl":"10.1016/j.apal.2024.103438","url":null,"abstract":"<div><p>In this paper, we establish an explicit higher reciprocity law for the polynomial ring over a nonprincipal ultraproduct of finite fields. Such an ultraproduct can be taken over the same finite field, which allows to recover the classical higher reciprocity law for the polynomial ring <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>[</mo><mi>t</mi><mo>]</mo></math></span> over a finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span> that is due to Dedekind, Kühne, Artin, and Schmidt. On the other hand, when the ultraproduct is taken over finite fields of unbounded cardinalities, we obtain an explicit higher reciprocity law for the polynomial ring over an infinite field in both characteristics 0 and <span><math><mi>p</mi><mo>&gt;</mo><mn>0</mn></math></span> for some prime <em>p</em>. We then use the higher reciprocity law to prove an analogue of the Grunwald–Wang theorem for such a polynomial ring in both characteristics 0 and <span><math><mi>p</mi><mo>&gt;</mo><mn>0</mn></math></span> for some prime <em>p</em>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 6","pages":"Article 103438"},"PeriodicalIF":0.8,"publicationDate":"2024-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140181908","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
Approachable free subsets and fine structure derived scales 可接近的自由子集和精细结构衍生尺度
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-16 DOI: 10.1016/j.apal.2024.103428
Dominik Adolf, Omer Ben-Neria
{"title":"Approachable free subsets and fine structure derived scales","authors":"Dominik Adolf,&nbsp;Omer Ben-Neria","doi":"10.1016/j.apal.2024.103428","DOIUrl":"10.1016/j.apal.2024.103428","url":null,"abstract":"<div><p>Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded Subset Property can be forced from the assumption of a cardinal <em>λ</em> for which the set of Mitchell orders <span><math><mo>{</mo><mi>o</mi><mo>(</mo><mi>μ</mi><mo>)</mo><mo>|</mo><mi>μ</mi><mo>&lt;</mo><mi>λ</mi><mo>}</mo></math></span> is unbounded in <em>λ</em>. Furthermore, we study the related notion of continuous tree-like scales, and show that such scales must exist on all products in canonical inner models. We use this result, together with a covering-type argument, to show that the large cardinal hypothesis from the forcing part is optimal.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103428"},"PeriodicalIF":0.8,"publicationDate":"2024-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140181769","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
ZF and its interpretations ZF 及其解释
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-03-04 DOI: 10.1016/j.apal.2024.103427
S. Jockwich Martinez , S. Tarafder , G. Venturi
{"title":"ZF and its interpretations","authors":"S. Jockwich Martinez ,&nbsp;S. Tarafder ,&nbsp;G. Venturi","doi":"10.1016/j.apal.2024.103427","DOIUrl":"10.1016/j.apal.2024.103427","url":null,"abstract":"<div><p>In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for = and ∈. Although, these variations coincide with the standard interpretation in Boolean-valued constructions, nonetheless they extend the scope of validity of <span><math><mi>ZF</mi></math></span> to new algebra-valued models. This paper presents, for the first time, non-trivial paraconsistent models of full <span><math><mi>ZF</mi></math></span>. Moreover, due to the validity of Leibniz's law in these structures, we will show how to construct proper models of set theory by quotienting these algebra-valued models with respect to equality, modulo the filter of the designated truth-values.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 6","pages":"Article 103427"},"PeriodicalIF":0.8,"publicationDate":"2024-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000241/pdfft?md5=9d7bf0eef51dc942a71051fb8dfcc3b5&pid=1-s2.0-S0168007224000241-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140054131","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
A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn−11 well-orderings 良好的光面 Δn1 有序排列并不意味着存在黑体 Δn-11 有序排列
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-02-28 DOI: 10.1016/j.apal.2024.103426
Vladimir Kanovei, Vassily Lyubetsky
{"title":"A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn−11 well-orderings","authors":"Vladimir Kanovei,&nbsp;Vassily Lyubetsky","doi":"10.1016/j.apal.2024.103426","DOIUrl":"10.1016/j.apal.2024.103426","url":null,"abstract":"<div><p>We make use of a finite support product of the Jensen-type forcing notions to define a model of the set theory <span><math><mtext>ZFC</mtext></math></span> in which, for a given <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>, there exists a good lightface <span><math><msubsup><mrow><mi>Δ</mi></mrow><mrow><mi>n</mi></mrow><mrow><mn>1</mn></mrow></msubsup></math></span> well-ordering of the reals but there are no any (not necessarily good) well-orderings in the boldface class <span><math><msubsup><mrow><mi>Δ</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow><mrow><mn>1</mn></mrow></msubsup></math></span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 6","pages":"Article 103426"},"PeriodicalIF":0.8,"publicationDate":"2024-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140054039","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
Nonstandard proof methods in toposes 拓扑图中的非标准证明方法
IF 0.8 2区 数学
Annals of Pure and Applied Logic Pub Date : 2024-02-22 DOI: 10.1016/j.apal.2024.103424
José Siqueira
{"title":"Nonstandard proof methods in toposes","authors":"José Siqueira","doi":"10.1016/j.apal.2024.103424","DOIUrl":"10.1016/j.apal.2024.103424","url":null,"abstract":"<div><p>We determine sufficient structure for an elementary topos to emulate Nelson's Internal Set Theory in its internal language, and show that any topos satisfying the internal axiom of choice occurs as a universe of standard objects and maps. This development allows one to employ the proof methods of nonstandard analysis (transfer, standardisation, and idealisation) in new environments such as toposes of <em>G</em>-sets and Boolean étendues.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 5","pages":"Article 103424"},"PeriodicalIF":0.8,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139946240","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学术文献互助群
群 号：481959085
Book学术官方微信