Archive for Mathematical Logic最新文献

{"title":"Extending antichains in the poset (langle [omega ]^{<omega },subseteq rangle )","authors":"Francisco Santiago Nieto-de la Rosa,&nbsp;Ulises Ariet Ramos-García,&nbsp;Ana Lucía Vargas-Sandoval,&nbsp;Dick de Jongh","doi":"10.1007/s00153-025-00976-3","DOIUrl":"10.1007/s00153-025-00976-3","url":null,"abstract":"<div><p>We prove that for every antichain <i>A</i> in the poset <span>(langle [omega ]^{&lt;omega },subseteq rangle )</span> the set of maximal antichains which extend <i>A</i> is either finite or has the size of the continuum. As a consequence we prove a conjecture of de Jongh and Vargas-Sandoval about nepfi families of finite languages [2, 10].</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"65 1","pages":"1 - 12"},"PeriodicalIF":0.4,"publicationDate":"2025-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00976-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146016117","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}

{"title":"On countably closed mutually embeddable models","authors":"Moti Gitik","doi":"10.1007/s00153-025-00975-4","DOIUrl":"10.1007/s00153-025-00975-4","url":null,"abstract":"<div><p>We show that a measurable cardinal is enough in order to construct two distinct countably closed mutually embeddable models. This answers a question from Eskew, M., et al.: Annals of Pure and Applied Logic, Vol. 175, Issue 1, Part B, 103325 (2024).</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1127 - 1131"},"PeriodicalIF":0.4,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00975-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284364","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}

{"title":"On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system","authors":"Revaz Grigolia,&nbsp;Ramaz Liparteliani,&nbsp;Nunu Mitskevich,&nbsp;Tamar Tsertsvadze,&nbsp;Tekle Kalichava","doi":"10.1007/s00153-025-00974-5","DOIUrl":"10.1007/s00153-025-00974-5","url":null,"abstract":"<div><p>We describe specific fragments of the immune system using relational systems (Kripke frames) that represent the semantics of the novel logic <i>EŁ</i><span>(_{P})</span>-Modal Epistemic Łukasiewicz logic. The language of <i>EŁ</i><span>(_{P})</span> extends the infinitely valued Łukasiewicz logic Ł by introducing a unary connective, interpreted as a modal epistemic operator that denotes knowledge and quasi-knowledge. This paper demonstrates that theorems within this logic hold for the immune system model. Furthermore, we propose conjectures related to the model that are unresolved by immune scientists, striving to prove or refute these conjectures as theorems. Additionally, we investigate the decidability and unification problems of the corresponding logic and its admissible rules.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1103 - 1126"},"PeriodicalIF":0.4,"publicationDate":"2025-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284251","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}

{"title":"Generalized cardinal invariants for an inaccessible (kappa ) with compactness at (kappa ^{++})","authors":"Radek Honzik,&nbsp;Šárka Stejskalová","doi":"10.1007/s00153-025-00977-2","DOIUrl":"10.1007/s00153-025-00977-2","url":null,"abstract":"<div><p>We study the relationship between non-trivial values of generalized cardinal invariants at an inaccessible cardinal <span>(kappa )</span> and compactness principles at <span>(kappa ^+)</span> and <span>(kappa ^{++})</span>. Let <span>(textsf {TP}(kappa ^{++}))</span>, <span>(textsf {SR}(kappa ^{++}))</span> and <span>(lnot textsf {wKH}(kappa ^+))</span> denote the tree property and stationary reflection on <span>(kappa ^{++})</span> and the negation of the weak Kurepa Hypothesis on <span>(kappa ^+)</span>, respectively. We show that if the existence of a supercompact cardinal <span>(kappa )</span> with a weakly compact cardinal <span>(lambda )</span> above <span>(kappa )</span> is consistent, then the following are consistent as well (where <span>(mathfrak {t}(kappa ))</span> and <span>(mathfrak {u}(kappa ))</span> are the tower number and the ultrafilter number, respectively): (i) There is an inaccessible cardinal <span>(kappa )</span> such that <span>(kappa ^+&lt; mathfrak {t}(kappa )= mathfrak {u}(kappa )&lt; 2^kappa )</span> and <span>(textsf {SR}(kappa ^{++}))</span> hold, and (ii) There is an inaccessible cardinal <span>(kappa )</span> such that <span>(kappa ^+ = mathfrak {t}(kappa )&lt; mathfrak {u}(kappa )&lt; 2^kappa )</span> and <span>(textsf {SR}(kappa ^{++}), textsf {TP}(kappa ^{++}))</span> and <span>(lnot textsf {wKH}(kappa ^+))</span> hold. The cardinals <span>(mathfrak {u}(kappa ))</span> and <span>(2^kappa )</span> can have any reasonable values in these models. We obtain these results by combining the forcing construction from [4] due to Brooke-Taylor, Fischer, Friedman and Montoya with the Mitchell forcing and with (new and old) indestructibility results related to <span>(textsf {TP}(kappa ^{++}))</span>, <span>(textsf {SR}(kappa ^{++}))</span> and <span>(lnot textsf {wKH}(kappa ^+))</span>. Apart from <span>(mathfrak {u}(kappa ))</span> and <span>(mathfrak {t}(kappa ))</span> we also compute the values of <span>(mathfrak {b}(kappa ))</span>, <span>(mathfrak {d}(kappa ))</span>, <span>(mathfrak {s}(kappa ))</span>, <span>(mathfrak {r}(kappa ))</span>, <span>(mathfrak {a}(kappa ))</span>, <span>(textrm{cov}({mathcal {M}}_kappa ))</span>, <span>(textrm{add}({mathcal {M}}_kappa ))</span>, <span>(textrm{non}({mathcal {M}}_kappa ))</span>, <span>(textrm{cof}({mathcal {M}}_kappa ))</span> which will all be equal to <span>(mathfrak {u}(kappa ))</span>. In (ii), we compute <span>(mathfrak {p}(kappa ) = mathfrak {t}(kappa ) = kappa ^+)</span> by observing that the <span>(kappa ^+)</span>-distributive quotient of the Mitchell forcing adds a tower of size <span>(kappa ^+)</span>. Finally, as a corollary of the construction, we observe that items (i) and (ii) hold also for the traditional invariants on <span>(kappa = omega )</span>, using Mitchell forcing up to a weakly compact cardinal; in this case we also obtain the disjoint stationary sequence property <span>(textsf {DSS}(omega _2))</span>, which implies the negation of the app","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1077 - 1102"},"PeriodicalIF":0.4,"publicationDate":"2025-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284245","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}

{"title":"Herbrand schemes for first-order logic","authors":"Bahareh Afshari,&nbsp;Sebastian Enqvist,&nbsp;Graham E. Leigh","doi":"10.1007/s00153-024-00959-w","DOIUrl":"10.1007/s00153-024-00959-w","url":null,"abstract":"<div><p>This article provides a language-theoretic rendering of Herbrand’s theorem. To each first-order proof is associated a higher-order recursion scheme that abstracts the computation of Herbrand sets obtained through Gentzen-style multicut elimination. The representation extends previous results in this area by lifting the prenex restriction on cut formulas and relaxing the cut-elimination strategies. Features of the new approach are the interpretation of cut as simple composition and contraction as ‘call with current continuation’.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"1007 - 1076"},"PeriodicalIF":0.4,"publicationDate":"2025-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-024-00959-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284458","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}

{"title":"Definability in affine logic","authors":"Seyed-Mohammad Bagheri","doi":"10.1007/s00153-025-00972-7","DOIUrl":"10.1007/s00153-025-00972-7","url":null,"abstract":"<div><p>I study definability notions in the framework of affine continuous logic. Some general results concerning types and definable relations in affinely complete theories are proved. If the theory has a first order model, its extremal theory is a complete first order theory and first order definable sets are affinely definable. If it has a compact model, definable sets are exactly the end-sets of definable predicates. As an example, it is proved in the theory of probability algebras that one dimensional definable sets are exactly the intervals [<i>a</i>, <i>b</i>].</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"973 - 995"},"PeriodicalIF":0.4,"publicationDate":"2025-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284256","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}

{"title":"A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space","authors":"Joshua A. Cole","doi":"10.1007/s00153-025-00973-6","DOIUrl":"10.1007/s00153-025-00973-6","url":null,"abstract":"<div><p>For <i>mass problems</i> <span>(P,Qsubseteq {mathbb {N}^mathbb {N}})</span> (<i>Baire space</i>), <i>P</i> is <i>Medvedev reducible</i> to <i>Q</i> (<span>(Ple _sQ)</span>) if for some Turing funcional <span>(Phi )</span>, <span>(Phi (Q)subseteq P)</span>, and <i>Medvedev equivalent</i> to <i>Q</i> if also <span>(Qle _sP)</span>. Shafer asked if every closed problem <i>P</i> is Medvedev equivalent to a closed problem <i>Q</i> with <span>(Qsubseteq 2^mathbb {N})</span> (<i>Cantor space</i>). We show that this is not the case.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"997 - 1005"},"PeriodicalIF":0.4,"publicationDate":"2025-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284255","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}

{"title":"Siblings of direct sums of chains","authors":"Davoud Abdi","doi":"10.1007/s00153-025-00971-8","DOIUrl":"10.1007/s00153-025-00971-8","url":null,"abstract":"<div><p>We prove that a countable direct sum of chains has one, countably many or else continuum many isomorphism classes of siblings. This proves Thomassé’s conjecture for such structures. Further, we show that a direct sum of chains of any cardinality has one or infinitely many siblings, up to isomorphism.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"957 - 971"},"PeriodicalIF":0.4,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284426","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}

{"title":"Cardinal invariants associated with Hausdorff measures","authors":"Tatsuya Goto","doi":"10.1007/s00153-025-00970-9","DOIUrl":"10.1007/s00153-025-00970-9","url":null,"abstract":"<div><p>We consider cardinal invariants determined by Hausdorff measures. We separate many cardinal invariants of Hausdorff measure 0 ideals using two models that separate many cardinal invariants of Yorioka ideals at once from earlier work. Also, we show the uniformity numbers of <i>s</i>-dimensional Hausdorff measure 0 ideals for <span>(0&lt; s &lt; 1)</span> and of the Lebesgue null ideal can be separated using the Mathias forcing.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"935 - 956"},"PeriodicalIF":0.4,"publicationDate":"2025-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284425","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}

{"title":"Reflection ranks via infinitary derivations","authors":"James Walsh","doi":"10.1007/s00153-025-00968-3","DOIUrl":"10.1007/s00153-025-00968-3","url":null,"abstract":"<div><p>There is no infinite sequence of <span>(Pi ^1_1)</span>-sound extensions of <span>(textsf{ACA}_0)</span> each of which proves <span>(Pi ^1_1)</span>-reflection of the next. This engenders a well-founded “reflection ranking” of <span>(Pi ^1_1)</span>-sound extensions of <span>(textsf{ACA}_0)</span>. For any <span>(Pi ^1_1)</span>-sound theory <i>T</i> extending <span>(textsf{ACA}^+_0)</span>, the reflection rank of <i>T</i> equals the proof-theoretic ordinal of <i>T</i>. This provides an alternative characterization of the notion of “proof-theoretic ordinal,” which is one of the central concepts of proof theory. We provide an alternative proof of this theorem using cut-elimination for infinitary derivations.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 7-8","pages":"917 - 933"},"PeriodicalIF":0.4,"publicationDate":"2025-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145284423","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}