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

Archive for Mathematical Logic最新文献

筛选
英文 中文
Vector spaces with a union of independent subspaces 具有独立子空间联合的向量空间
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-02-17 DOI: 10.1007/s00153-024-00906-9
Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
{"title":"Vector spaces with a union of independent subspaces","authors":"Alessandro Berarducci, Marcello Mamino, Rosario Mennuni","doi":"10.1007/s00153-024-00906-9","DOIUrl":"https://doi.org/10.1007/s00153-024-00906-9","url":null,"abstract":"<p>We study the theory of <i>K</i>-vector spaces with a predicate for the union <i>X</i> of an infinite family of independent subspaces. We show that if <i>K</i> is infinite then the theory is complete and admits quantifier elimination in the language of <i>K</i>-vector spaces with predicates for the <i>n</i>-fold sums of <i>X</i> with itself. If <i>K</i> is finite this is no longer true, but we still have that a natural completion is near-model-complete.\u0000</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139902920","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
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures 多项式有界 O 最小结构中有限阶全函数的不可定义性结果
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-02-15 DOI: 10.1007/s00153-024-00904-x
{"title":"Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures","authors":"","doi":"10.1007/s00153-024-00904-x","DOIUrl":"https://doi.org/10.1007/s00153-024-00904-x","url":null,"abstract":"<h3>Abstract</h3> <p>Let <span> <span>({mathcal {R}})</span> </span> be a polynomially bounded o-minimal expansion of the real field. Let <em>f</em>(<em>z</em>) be a transcendental entire function of finite order <span> <span>(rho )</span> </span> and type <span> <span>(sigma in [0,infty ])</span> </span>. The main purpose of this paper is to show that if (<span> <span>(rho &lt;1)</span> </span>) or (<span> <span>(rho =1)</span> </span> and <span> <span>(sigma =0)</span> </span>), the restriction of <em>f</em>(<em>z</em>) to the real axis is not definable in <span> <span>({mathcal {R}})</span> </span>. Furthermore, we give a generalization of this result for any <span> <span>(rho in [0,infty ))</span> </span>.</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139764772","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
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals 莫雷可数模型数定理的二阶版本不需要大的心形数
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-02-14 DOI: 10.1007/s00153-024-00907-8
Franklin D. Tall, Jing Zhang
{"title":"The second-order version of Morley’s theorem on the number of countable models does not require large cardinals","authors":"Franklin D. Tall, Jing Zhang","doi":"10.1007/s00153-024-00907-8","DOIUrl":"https://doi.org/10.1007/s00153-024-00907-8","url":null,"abstract":"<p>The consistency of a second-order version of Morley’s Theorem on the number of countable models was proved in [EHMT23] with the aid of large cardinals. We here dispense with them.</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139764927","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
Indestructibility and the linearity of the Mitchell ordering 坚不可摧和米切尔排序的直线性
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-02-13 DOI: 10.1007/s00153-024-00908-7
{"title":"Indestructibility and the linearity of the Mitchell ordering","authors":"","doi":"10.1007/s00153-024-00908-7","DOIUrl":"https://doi.org/10.1007/s00153-024-00908-7","url":null,"abstract":"<h3>Abstract</h3> <p>Suppose that <span> <span>(kappa )</span> </span> is indestructibly supercompact and there is a measurable cardinal <span> <span>(lambda &gt; kappa )</span> </span>. It then follows that <span> <span>(A_0 = {delta &lt; kappa mid delta )</span> </span> is a measurable cardinal and the Mitchell ordering of normal measures over <span> <span>(delta )</span> </span> is nonlinear<span> <span>(})</span> </span> is unbounded in <span> <span>(kappa )</span> </span>. If the Mitchell ordering of normal measures over <span> <span>(lambda )</span> </span> is also linear, then by reflection (and without any use of indestructibility), <span> <span>(A_1= {delta &lt; kappa mid delta )</span> </span> is a measurable cardinal and the Mitchell ordering of normal measures over <span> <span>(delta )</span> </span> is linear<span> <span>(})</span> </span> is unbounded in <span> <span>(kappa )</span> </span> as well. The large cardinal hypothesis on <span> <span>(lambda )</span> </span> is necessary. We demonstrate this by constructing via forcing two models in which <span> <span>(kappa )</span> </span> is supercompact and <span> <span>(kappa )</span> </span> exhibits an indestructibility property slightly weaker than full indestructibility but sufficient to infer that <span> <span>(A_0)</span> </span> is unbounded in <span> <span>(kappa )</span> </span> if <span> <span>(lambda &gt; kappa )</span> </span> is measurable. In one of these models, for every measurable cardinal <span> <span>(delta )</span> </span>, the Mitchell ordering of normal measures over <span> <span>(delta )</span> </span> is linear. In the other of these models, for every measurable cardinal <span> <span>(delta )</span> </span>, the Mitchell ordering of normal measures over <span> <span>(delta )</span> </span> is nonlinear.</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139764739","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
Regressive versions of Hindman’s theorem 欣德曼定理的回归版本
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-01-31 DOI: 10.1007/s00153-023-00901-6
Lorenzo Carlucci, Leonardo Mainardi
{"title":"Regressive versions of Hindman’s theorem","authors":"Lorenzo Carlucci, Leonardo Mainardi","doi":"10.1007/s00153-023-00901-6","DOIUrl":"https://doi.org/10.1007/s00153-023-00901-6","url":null,"abstract":"<p>When the Canonical Ramsey’s Theorem by Erdős and Rado is applied to regressive functions, one obtains the Regressive Ramsey’s Theorem by Kanamori and McAloon. Taylor proved a “canonical” version of Hindman’s Theorem, analogous to the Canonical Ramsey’s Theorem. We introduce the restriction of Taylor’s Canonical Hindman’s Theorem to a subclass of the regressive functions, the <span>(lambda )</span>-regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman’s Theorem and of natural restrictions of it. In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that the well-ordering-preservation principle for base-<span>(omega )</span> exponentiation is reducible to this same principle by a uniform computable reduction.\u0000</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139647497","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
Cut elimination for coherent theories in negation normal form 否定正则表达式中相干理论的切分消除
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-01-24 DOI: 10.1007/s00153-023-00902-5
Paolo Maffezioli
{"title":"Cut elimination for coherent theories in negation normal form","authors":"Paolo Maffezioli","doi":"10.1007/s00153-023-00902-5","DOIUrl":"https://doi.org/10.1007/s00153-023-00902-5","url":null,"abstract":"<p>We present a cut-free sequent calculus for a class of first-order theories in negation normal form which include coherent and co-coherent theories alike. All structural rules, including cut, are admissible.\u0000</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139553648","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
L-domains as locally continuous sequent calculi 作为局部连续序列计算的 L 域
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2024-01-23 DOI: 10.1007/s00153-023-00903-4
Longchun Wang, Qingguo Li
{"title":"L-domains as locally continuous sequent calculi","authors":"Longchun Wang, Qingguo Li","doi":"10.1007/s00153-023-00903-4","DOIUrl":"https://doi.org/10.1007/s00153-023-00903-4","url":null,"abstract":"<p>Inspired by a framework of multi lingual sequent calculus, we introduce a formal logical system called locally continuous sequent calculus to represent <i>L</i>-domains. By considering the logic states defined on locally continuous sequent calculi, we show that the collection of all logic states of a locally continuous sequent calculus with respect to set inclusion forms an <i>L</i>-domain, and every <i>L</i>-domain can be obtained in this way. Moreover, we define conjunctive consequence relations as morphisms between our sequent calculi, and prove that the category of locally continuous sequent calculi and conjunctive consequence relations is equivalent to that of <i>L</i>-domains and Scott-continuous functions. This result extends Abramsky’s “Domain theory in logical form” to a continuous setting.</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139553643","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
Prenex normalization and the hierarchical classification of formulas Prenex 标准化和公式的分层分类
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2023-12-23 DOI: 10.1007/s00153-023-00899-x
Makoto Fujiwara, Taishi Kurahashi
{"title":"Prenex normalization and the hierarchical classification of formulas","authors":"Makoto Fujiwara, Taishi Kurahashi","doi":"10.1007/s00153-023-00899-x","DOIUrl":"https://doi.org/10.1007/s00153-023-00899-x","url":null,"abstract":"<p>Akama et al. [1] introduced a hierarchical classification of first-order formulas for a hierarchical prenex normal form theorem in semi-classical arithmetic. In this paper, we give a justification for the hierarchical classification in a general context of first-order theories. To this end, we first formalize the standard transformation procedure for prenex normalization. Then we show that the classes <span>(textrm{E}_k)</span> and <span>(textrm{U}_k)</span> introduced in [1] are exactly the classes induced by <span>(Sigma _k)</span> and <span>(Pi _k)</span> respectively via the transformation procedure in any first-order theory.</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139020330","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
Weak essentially undecidable theories of concatenation, part II 弱本质上不可判定的串联理论，第二部分
4区 数学
Archive for Mathematical Logic Pub Date : 2023-11-02 DOI: 10.1007/s00153-023-00898-y
Juvenal Murwanashyaka
{"title":"Weak essentially undecidable theories of concatenation, part II","authors":"Juvenal Murwanashyaka","doi":"10.1007/s00153-023-00898-y","DOIUrl":"https://doi.org/10.1007/s00153-023-00898-y","url":null,"abstract":"Abstract We show that we can interpret concatenation theories in arithmetical theories without coding sequences by identifying binary strings with $$2times 2$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mn>2</mml:mn> <mml:mo>×</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> matrices with determinant 1.","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135933800","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
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order 极大Tukey类型、p理想与弱Rudin-Keisler序
4区 数学
Archive for Mathematical Logic Pub Date : 2023-10-31 DOI: 10.1007/s00153-023-00897-z
Konstantinos A. Beros, Paul B. Larson
{"title":"Maximal Tukey types, P-ideals and the weak Rudin–Keisler order","authors":"Konstantinos A. Beros, Paul B. Larson","doi":"10.1007/s00153-023-00897-z","DOIUrl":"https://doi.org/10.1007/s00153-023-00897-z","url":null,"abstract":"","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135765826","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学术文献互助群
群 号：481959085
Book学术官方微信