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

Archive for Mathematical Logic最新文献

筛选
英文 中文
Ranks based on strong amalgamation Fraïssé classes 基于强合并的等级Fraïssé等级
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2023-02-02 DOI: 10.1007/s00153-023-00864-8
Vincent Guingona, Miriam Parnes
{"title":"Ranks based on strong amalgamation Fraïssé classes","authors":"Vincent Guingona,&nbsp;Miriam Parnes","doi":"10.1007/s00153-023-00864-8","DOIUrl":"10.1007/s00153-023-00864-8","url":null,"abstract":"<div><p>In this paper, we introduce the notion of <span>({textbf{K}} )</span>-rank, where <span>({textbf{K}} )</span> is a strong amalgamation Fraïssé class. Roughly speaking, the <span>({textbf{K}} )</span>-rank of a partial type is the number “copies” of <span>({textbf{K}} )</span> that can be “independently coded” inside of the type. We study <span>({textbf{K}} )</span>-rank for specific examples of <span>({textbf{K}} )</span>, including linear orders, equivalence relations, and graphs. We discuss the relationship of <span>({textbf{K}} )</span>-rank to other ranks in model theory, including dp-rank and op-dimension (a notion coined by the first author and C. D. Hill in previous work).\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00864-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46644921","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}
引用次数: 2
A criterion for the strong cell decomposition property 强细胞分解性的判据
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2023-01-31 DOI: 10.1007/s00153-023-00862-w
Somayyeh Tari
{"title":"A criterion for the strong cell decomposition property","authors":"Somayyeh Tari","doi":"10.1007/s00153-023-00862-w","DOIUrl":"10.1007/s00153-023-00862-w","url":null,"abstract":"<div><p>Let <span>( {mathcal {M}}=(M, &lt;, ldots ) )</span> be a weakly o-minimal structure. Assume that <span>( {mathcal {D}}ef({mathcal {M}}))</span> is the collection of all definable sets of <span>( {mathcal {M}} )</span> and for any <span>( min {mathbb {N}} )</span>, <span>( {mathcal {D}}ef_m({mathcal {M}}) )</span> is the collection of all definable subsets of <span>( M^m )</span> in <span>( {mathcal {M}} )</span>. We show that the structure <span>( {mathcal {M}} )</span> has the strong cell decomposition property if and only if there is an o-minimal structure <span>( {mathcal {N}} )</span> such that <span>( {mathcal {D}}ef({mathcal {M}})={Ycap M^m: min {mathbb {N}}, Yin {mathcal {D}}ef_m({mathcal {N}})} )</span>. Using this result, we prove that: (a) Every induced structure has the strong cell decomposition property. (b) The structure <span>( {mathcal {M}} )</span> has the strong cell decomposition property if and only if the weakly o-minimal structure <span>( {mathcal {M}}^*_M )</span> has the strong cell decomposition property. Also we examine some properties of non-valuational weakly o-minimal structures in the context of weakly o-minimal structures admitting the strong cell decomposition property.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45685313","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
Some implications of Ramsey Choice for families of (varvec{n})-element sets Ramsey选择对（varvec｛n｝）-元素集族的一些启示
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-12-16 DOI: 10.1007/s00153-022-00860-4
Lorenz Halbeisen, Salome Schumacher
{"title":"Some implications of Ramsey Choice for families of (varvec{n})-element sets","authors":"Lorenz Halbeisen,&nbsp;Salome Schumacher","doi":"10.1007/s00153-022-00860-4","DOIUrl":"10.1007/s00153-022-00860-4","url":null,"abstract":"<div><p>For <span>(nin omega )</span>, the weak choice principle <span>(textrm{RC}_n)</span> is defined as follows:</p><blockquote><div>\u0000 <p><i>For every infinite set</i> <i>X</i> <i>there is an infinite subset</i> <span>(Ysubseteq X)</span> <i>with a choice function on</i> <span>([Y]^n:={zsubseteq Y:|z|=n})</span>.</p>\u0000 </div></blockquote><p>The choice principle <span>(textrm{C}_n^-)</span> states the following:</p><blockquote><div>\u0000 <p><i>For every infinite family of</i> <i>n</i>-<i>element sets, there is an infinite subfamily</i> <span>({mathcal {G}}subseteq {mathcal {F}})</span> <i>with a choice function.</i></p>\u0000 </div></blockquote><p>The choice principles <span>(textrm{LOC}_n^-)</span> and <span>(textrm{WOC}_n^-)</span> are the same as <span>(textrm{C}_n^-)</span>, but we assume that the family <span>({mathcal {F}})</span> is linearly orderable (for <span>(textrm{LOC}_n^-)</span>) or well-orderable (for <span>(textrm{WOC}_n^-)</span>). In the first part of this paper, for <span>(m,nin omega )</span> we will give a full characterization of when the implication <span>(textrm{RC}_mRightarrow textrm{WOC}_n^-)</span> holds in <span>({textsf {ZF}})</span>. We will prove the independence results by using suitable Fraenkel-Mostowski permutation models. In the second part, we will show some generalizations. In particular, we will show that <span>(textrm{RC}_5Rightarrow textrm{LOC}_5^-)</span> and that <span>(textrm{RC}_6Rightarrow textrm{C}_3^-)</span>, answering two open questions from Halbeisen and Tachtsis (Arch Math Logik 59(5):583–606, 2020). Furthermore, we will show that <span>(textrm{RC}_6Rightarrow textrm{C}_9^-)</span> and that <span>(textrm{RC}_7Rightarrow textrm{LOC}_7^-)</span>.\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00860-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50058165","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
Independent families and some notions of finiteness 独立的家庭和一些有限的概念
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-12-14 DOI: 10.1007/s00153-022-00858-y
Eric Hall, Kyriakos Keremedis
{"title":"Independent families and some notions of finiteness","authors":"Eric Hall,&nbsp;Kyriakos Keremedis","doi":"10.1007/s00153-022-00858-y","DOIUrl":"10.1007/s00153-022-00858-y","url":null,"abstract":"<div><p>In <span>(textbf{ZF})</span>, the well-known Fichtenholz–Kantorovich–Hausdorff theorem concerning the existence of independent families of <i>X</i> of size <span>(|{mathcal {P}} (X)|)</span> is equivalent to the following portion of the equally well-known Hewitt–Marczewski–Pondiczery theorem concerning the density of product spaces: “The product <span>({textbf{2}}^{{mathcal {P}}(X)})</span> has a dense subset of size |<i>X</i>|”. However, the latter statement turns out to be strictly weaker than <span>(textbf{AC})</span> while the full Hewitt–Marczewski–Pondiczery theorem is equivalent to <span>(textbf{AC})</span>. We study the relative strengths in <span>(textbf{ZF})</span> between the statement “<i>X</i> has no independent family of size <span>(|{mathcal {P}}(X)|)</span>” and some of the definitions of “<i>X</i> is finite” studied in Levy’s classic paper, observing that the former statement implies one such definition, is implied by another, and incomparable with some others.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44178207","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}
引用次数: 1
Glivenko sequent classes and constructive cut elimination in geometric logics 几何逻辑中的Glivenko序类与构造切消
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-12-08 DOI: 10.1007/s00153-022-00857-z
Giulio Fellin, Sara Negri, Eugenio Orlandelli
{"title":"Glivenko sequent classes and constructive cut elimination in geometric logics","authors":"Giulio Fellin,&nbsp;Sara Negri,&nbsp;Eugenio Orlandelli","doi":"10.1007/s00153-022-00857-z","DOIUrl":"10.1007/s00153-022-00857-z","url":null,"abstract":"<div><p>A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47183017","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}
引用次数: 2
The structure of (kappa )-maximal cofinitary groups (kappa ) -极大共缘群的结构
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-12-04 DOI: 10.1007/s00153-022-00859-x
Vera Fischer, Corey Bacal Switzer
{"title":"The structure of (kappa )-maximal cofinitary groups","authors":"Vera Fischer,&nbsp;Corey Bacal Switzer","doi":"10.1007/s00153-022-00859-x","DOIUrl":"10.1007/s00153-022-00859-x","url":null,"abstract":"<div><p>We study <span>(kappa )</span>-maximal cofinitary groups for <span>(kappa )</span> regular uncountable, <span>(kappa = kappa ^{&lt;kappa })</span>. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell’s theorem, we show that: </p><ol>\u0000 <li>\u0000 <span>(1)</span>\u0000 \u0000 <p>Any <span>(kappa )</span>-maximal cofinitary group has <span>({&lt;}kappa )</span> many orbits under the natural group action of <span>(S(kappa ))</span> on <span>(kappa )</span>.</p>\u0000 \u0000 </li>\u0000 <li>\u0000 <span>(2)</span>\u0000 \u0000 <p>If <span>(mathfrak {p}(kappa ) = 2^kappa )</span> then any partition of <span>(kappa )</span> into less than <span>(kappa )</span> many sets can be realized as the orbits of a <span>(kappa )</span>-maximal cofinitary group.</p>\u0000 \u0000 </li>\u0000 <li>\u0000 <span>(3)</span>\u0000 \u0000 <p>For any regular <span>(lambda &gt; kappa )</span> it is consistent that there is a <span>(kappa )</span>-maximal cofinitary group which is universal for groups of size <span>({&lt;}2^kappa = lambda )</span>. If we only require the group to be universal for groups of size <span>(kappa )</span> then this follows from <span>(mathfrak {p}(kappa ) = 2^kappa )</span>.\u0000</p>\u0000 \u0000 </li>\u0000 </ol></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00859-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50007773","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}
引用次数: 1
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations 修正：Shapiro定理到更高arities和非射符号的推广
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-11-09 DOI: 10.1007/s00153-022-00855-1
Dariusz Kalociński, Michał Wrocławski
{"title":"Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations","authors":"Dariusz Kalociński,&nbsp;Michał Wrocławski","doi":"10.1007/s00153-022-00855-1","DOIUrl":"10.1007/s00153-022-00855-1","url":null,"abstract":"","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00855-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46662975","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
Generic existence of interval P-points 区间p点的一般存在性
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-11-07 DOI: 10.1007/s00153-022-00853-3
Jialiang He, Renling Jin, Shuguo Zhang
{"title":"Generic existence of interval P-points","authors":"Jialiang He,&nbsp;Renling Jin,&nbsp;Shuguo Zhang","doi":"10.1007/s00153-022-00853-3","DOIUrl":"10.1007/s00153-022-00853-3","url":null,"abstract":"<div><p>A P-point ultrafilter over <span>(omega )</span> is called an interval P-point if for every function from <span>(omega )</span> to <span>(omega )</span> there exists a set <i>A</i> in this ultrafilter such that the restriction of the function to <i>A</i> is either a constant function or an interval-to-one function. In this paper we prove the following results. (1) Interval P-points are not isomorphism invariant under <span>(textsf{CH})</span> or <span>(textsf{MA})</span>. (2) We identify a cardinal invariant <span>(textbf{non}^{**}({mathcal {I}}_{tiny {hbox {int}}}))</span> such that every filter base of size less than continuum can be extended to an interval P-point if and only if <span>(textbf{non}^{**}({mathcal {I}}_{tiny {hbox {int}}})={mathfrak {c}})</span>. (3) We prove the generic existence of slow/rapid non-interval P-points and slow/rapid interval P-points which are neither quasi-selective nor weakly Ramsey under the assumption <span>({mathfrak {d}}={mathfrak {c}})</span> or <span>(textbf{cov}({mathcal {B}})={mathfrak {c}})</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00853-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42903288","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
Towards a homotopy domain theory 走向同伦域理论
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-11-04 DOI: 10.1007/s00153-022-00856-0
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
{"title":"Towards a homotopy domain theory","authors":"Daniel O. Martínez-Rivillas,&nbsp;Ruy J. G. B. de Queiroz","doi":"10.1007/s00153-022-00856-0","DOIUrl":"10.1007/s00153-022-00856-0","url":null,"abstract":"<div><p>An appropriate framework is put forward for the construction of <span>(lambda )</span>-models with <span>(infty )</span>-groupoid structure, which we call <i>homotopic</i> <span>(lambda )</span><i>-models</i>, through the use of an <span>(infty )</span>-category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and <span>(lambda )</span>-calculus, in the sense that the concept of proof (path) of equality of <span>(lambda )</span>-terms is raised to <i>higher proof</i> (homotopy).\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00856-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48699855","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}
引用次数: 6
Bachmann–Howard derivatives Bachmann-Howard衍生物
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-10-26 DOI: 10.1007/s00153-022-00851-5
Anton Freund
{"title":"Bachmann–Howard derivatives","authors":"Anton Freund","doi":"10.1007/s00153-022-00851-5","DOIUrl":"10.1007/s00153-022-00851-5","url":null,"abstract":"<div><p>It is generally accepted that H. Friedman’s gap condition is closely related to iterated collapsing functions from ordinal analysis. But what precisely is the connection? We offer the following answer: In a previous paper we have shown that the gap condition arises from an iterative construction on transformations of partial orders. Here we show that the parallel construction for linear orders yields familiar collapsing functions. The iteration step in the linear case is an instance of a general construction that we call ‘Bachmann–Howard derivative’. In the present paper, we focus on the unary case, i.e., on the gap condition for sequences rather than trees and, correspondingly, on addition-free ordinal notation systems. This is partly for convenience, but it also allows us to clarify a phenomenon that is specific to the unary setting: As shown by van der Meeren, Rathjen and Weiermann, the gap condition on sequences admits two linearizations with rather different properties. We will see that these correspond to different recursive constructions of sequences.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00851-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45300079","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}
引用次数: 2
首页 上一页 下一页 尾页
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学术官方微信