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

Archive for Mathematical Logic最新文献

筛选
英文 中文
Correction: Symétrons et K-boucles (omega)-stables 更正：symsamtrons和K-boucles (omega) -stable
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-10-23 DOI: 10.1007/s00153-025-00988-z
Samuel Zamour
{"title":"Correction: Symétrons et K-boucles (omega)-stables","authors":"Samuel Zamour","doi":"10.1007/s00153-025-00988-z","DOIUrl":"10.1007/s00153-025-00988-z","url":null,"abstract":"","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"131 - 131"},"PeriodicalIF":0.4,"publicationDate":"2025-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00988-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Bounded forcing axioms and weak genericity 有界强迫公理与弱泛型
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-10-13 DOI: 10.1007/s00153-025-00981-6
Gunter Fuchs, Benjamin Goodman
{"title":"Bounded forcing axioms and weak genericity","authors":"Gunter Fuchs,&nbsp;Benjamin Goodman","doi":"10.1007/s00153-025-00981-6","DOIUrl":"10.1007/s00153-025-00981-6","url":null,"abstract":"<div><p>We prove characterizations of bounded forcing axioms and their strengthenings in terms of weak genericity. These characterizations resemble those due to Jensen and Woodin, used to characterize the full forcing axioms and their strengthenings. The weak genericity characterizations allow us to quickly deduce various other characterizations in terms of generic <span>(Sigma _1)</span>-absoluteness. We also provide a limiting result on the extent of such generic absoluteness type characterizations of certain strengthenings of bounded forcing axioms.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"109 - 129"},"PeriodicalIF":0.4,"publicationDate":"2025-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On ultrafilters in ZF models and indecomposable ultrafilters 关于ZF模型中的超过滤器和不可分解超过滤器
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-10-04 DOI: 10.1007/s00153-025-00983-4
Eilon Bilinsky, Moti Gitik
{"title":"On ultrafilters in ZF models and indecomposable ultrafilters","authors":"Eilon Bilinsky,&nbsp;Moti Gitik","doi":"10.1007/s00153-025-00983-4","DOIUrl":"10.1007/s00153-025-00983-4","url":null,"abstract":"<div><p>We use indecomposable ultrafilters to answer some questions from Hayut and Karagila (in Comments Math Univ Carolin 60(2):285–298, 2019). It is shown that the bound on the strength of Usuba (in A note on uniform ultrafilters in choiceless context, arXiv:2401.04871v1) is optimal.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"99 - 108"},"PeriodicalIF":0.4,"publicationDate":"2025-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00983-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Hilbert’s “geometric” tenth problem for odd characteristic function fields 奇特征函数场的希尔伯特“几何”第十问题
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-09-18 DOI: 10.1007/s00153-025-00980-7
Brian Tyrrell-Nic Dhonncha
{"title":"On Hilbert’s “geometric” tenth problem for odd characteristic function fields","authors":"Brian Tyrrell-Nic Dhonncha","doi":"10.1007/s00153-025-00980-7","DOIUrl":"10.1007/s00153-025-00980-7","url":null,"abstract":"<div><p>This paper explores undecidability in theories of positive characteristic function fields in the “geometric” language of rings <span>(mathcal {L}_F = {0,1,+,times ,F})</span>, where <i>F</i> is a unary predicate for the subset of nonconstant elements of the field. We are motivated by the (still open) question of the decidability of the existential fragment of the <span>(mathcal {L}_F)</span>-theory of <span>(mathbb {F}_p(t))</span>: a variant on Hilbert’s Tenth Problem for <span>(mathbb {F}_p(t))</span>. If <i>K</i> denotes the function field of a curve, and has as a constant subfield <i>C</i> an algebraic extension of an odd characteristic finite field (not algebraically closed), we prove the <span>(forall ^1exists)</span>-fragment of the <span>(mathcal {L}_F)</span>-theory of <i>K</i> is undecidable. We identify an algebraic condition on elements of <i>K</i> that allows existing machinery of Eisenträger and Shlapentokh (used to conclude undecidability of the existential fragment of the theory of <i>K</i> in the language of rings with some constant symbols for elements of <span>(K setminus C)</span>) to apply to our setting. This work is drawn from the author’s PhD thesis [as reported by Tyrrell (Undecidability in some Field Theories, University of Oxford, Oxford, 2023. https://ora.ox.ac.uk/objects/uuid:3f8d7c47-a54a-4f27-b156-d1116b11b92f)].</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"71 - 97"},"PeriodicalIF":0.4,"publicationDate":"2025-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Open filters and measurable cardinals 开放过滤器和可测量基数
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-09-17 DOI: 10.1007/s00153-025-00985-2
Serhii Bardyla, Jaroslav Šupina, Lyubomyr Zdomskyy
{"title":"Open filters and measurable cardinals","authors":"Serhii Bardyla,&nbsp;Jaroslav Šupina,&nbsp;Lyubomyr Zdomskyy","doi":"10.1007/s00153-025-00985-2","DOIUrl":"10.1007/s00153-025-00985-2","url":null,"abstract":"<div><p>In this paper, we investigate the poset <span>(textbf{OF}(X))</span> of free open filters on a given space <i>X</i>. In particular, we characterize spaces for which <span>(textbf{OF}(X))</span> is a lattice. For each <span>(nin mathbb {N})</span> we construct a scattered space <i>X</i> such that <span>(textbf{OF}(X))</span> is order isomorphic to the <i>n</i>-element chain, which implies the affirmative answer to two questions of Mooney. Assuming CH we construct a scattered space <i>X</i> such that <span>(textbf{OF}(X))</span> is order isomorphic to <span>((omega +1,ge ))</span>. To prove the latter facts we introduce and investigate a new stratification of ultrafilters which depends on scattered subspaces of <span>(beta (kappa ))</span>. Assuming the existence of <i>n</i> measurable cardinals, for every <span>(m_0,ldots ,m_{n}in mathbb {N})</span> we construct a space <i>X</i> such that <span>(textbf{OF}(X))</span> is order isomorphic to <span>(prod _{i=0}^nm_i)</span>. Also, we show that the existence of a metric space possessing a free <span>(omega _1)</span>-complete closed, <span>(G_delta )</span>, <span>(F_{sigma })</span> or Borel ultrafilter is equivalent to the existence of a measurable cardinal.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"41 - 70"},"PeriodicalIF":0.4,"publicationDate":"2025-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00985-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The construction principle and non homogeneity of uncountable relatively free groups 不可数相对自由群的构造原理与非同质性
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-09-13 DOI: 10.1007/s00153-025-00982-5
Davide Carolillo, Gianluca Paolini
{"title":"The construction principle and non homogeneity of uncountable relatively free groups","authors":"Davide Carolillo,&nbsp;Gianluca Paolini","doi":"10.1007/s00153-025-00982-5","DOIUrl":"10.1007/s00153-025-00982-5","url":null,"abstract":"<div><p>In [11] Sklinos proved that any uncountable free group is not <span>(aleph _1)</span>-homogeneous. This was later generalized by Belegradek in [1] to torsion-free residually finite relatively free groups, leaving open whether the assumption of residual finiteness was necessary. In this paper we use methods arising from the classical analysis of relatively free groups in infinitary logic to answer Belegradek’s question in the negative. Our methods are general and they also apply to varieties with torsion, for example we show that if <i>V</i> contains a finite non-nilpotent group, then any uncountable <i>V</i>-free group is not <span>(aleph _1)</span>-homogeneous.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1181 - 1195"},"PeriodicalIF":0.4,"publicationDate":"2025-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284354","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Slender trees and the approximation property 细长树和近似性质
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-09-13 DOI: 10.1007/s00153-025-00984-3
Hannes Jakob
{"title":"Slender trees and the approximation property","authors":"Hannes Jakob","doi":"10.1007/s00153-025-00984-3","DOIUrl":"10.1007/s00153-025-00984-3","url":null,"abstract":"<div><p>We obtain a relatively simple criterion for when a forcing has the <span>({&lt;},delta )</span>-approximation property, generalizing a result of Unger. Afterwards we apply this criterion to construct variants of Mitchell Forcing in order to answer questions posed by Mohammadpour.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"13 - 40"},"PeriodicalIF":0.4,"publicationDate":"2025-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00984-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016107","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Countable homogeneous ordered bipartite graphs 可数齐次有序二部图
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-09-08 DOI: 10.1007/s00153-025-00986-1
J. K. Truss
{"title":"Countable homogeneous ordered bipartite graphs","authors":"J. K. Truss","doi":"10.1007/s00153-025-00986-1","DOIUrl":"10.1007/s00153-025-00986-1","url":null,"abstract":"<div><p>A classification is given of all the countable homogeneous ordered bipartite graphs, including those in which just one of the two parts is ordered. In non-trivial cases where the whole structure is ordered, the two parts are ordered like the rationals, and may interact in three essentially different ways. If just one side is ordered, then the structure is the unique one arising as a Fraïssé limit.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1165 - 1180"},"PeriodicalIF":0.4,"publicationDate":"2025-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00986-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On two consequences of CH established by Sierpiński. II 论Sierpiński建立的CH的两个后果。2
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-08-21 DOI: 10.1007/s00153-025-00987-0
R. Pol, P. Zakrzewski
{"title":"On two consequences of CH established by Sierpiński. II","authors":"R. Pol,&nbsp;P. Zakrzewski","doi":"10.1007/s00153-025-00987-0","DOIUrl":"10.1007/s00153-025-00987-0","url":null,"abstract":"<div><p>We continue a study of the relations between two consequences of the Continuum Hypothesis discovered by Wacław Sierpiński, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1149 - 1164"},"PeriodicalIF":0.4,"publicationDate":"2025-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00987-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Algebraic semantics for weak subintuitionistic logic WF 弱次直觉逻辑WF的代数语义
IF 0.4 4区 数学
Archive for Mathematical Logic Pub Date : 2025-06-06 DOI: 10.1007/s00153-025-00979-0
Fatemeh Shirmohammadzadeh Maleki
{"title":"Algebraic semantics for weak subintuitionistic logic WF","authors":"Fatemeh Shirmohammadzadeh Maleki","doi":"10.1007/s00153-025-00979-0","DOIUrl":"10.1007/s00153-025-00979-0","url":null,"abstract":"<div><p>In this paper we introduce and study WF-algebra, the algebraic structure associated with basic weak subintuitionistic logic WF. We also prove the duality between descriptive NB-Neighborhood frames and WF-algebras. Among other things, we prove the amalgamation property for the class of WF-algebras.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1133 - 1147"},"PeriodicalIF":0.4,"publicationDate":"2025-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"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学术官方微信
小红书