Archive for Mathematical Logic最新文献

{"title":"An algebraic investigation of Linear Logic","authors":"Paolo Aglianò","doi":"10.1007/s00153-025-00969-2","DOIUrl":"10.1007/s00153-025-00969-2","url":null,"abstract":"<div><p>In this paper we investigate two logics (and their fragments) from an algebraic point of view. The two logics are: <span>(textsf{MALL})</span> (multiplicative-additive Linear Logic) and <span>(textsf{LL})</span> (classical Linear Logic). Both logics turn out to be strongly algebraizable in the sense of Blok and Pigozzi and their equivalent algebraic semantics are, respectively, the variety of Girard algebras and the variety of girales. We show that any variety of girales has a TD-term and hence equationally definable principal congruences. Also we investigate the structure of the algebras in question, thus obtaining a representation theorem for Girard algebras and girales. We also prove that congruence lattices of girales are really congruence lattices of Heyting algebras, thus determining the simple and subdirectly irreducible girales. Finally we introduce a class of examples showing that the variety of girales contains infinitely many nonisomorphic finite simple algebras.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"893 - 915"},"PeriodicalIF":0.4,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00969-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164929","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":"Restricted analytic valued fields with partial exponentiation","authors":"Leonardo Ángel,&nbsp;Xavier Caicedo","doi":"10.1007/s00153-024-00963-0","DOIUrl":"10.1007/s00153-024-00963-0","url":null,"abstract":"<div><p>Non-archimedean models of the theory of the real ordered field with restricted analytic functions may not support a total exponential function, but they always have partial exponentials defined in certain convex subrings. On face of this, we study the first order theory of non-archimedean ordered valued fields with all restricted analytic functions and an exponential function defined in the valuation ring, which extends the restricted analytic exponential. We obtain model completeness and other desirable properties for this theory. In particular, any model embeds in a model where the partial exponential extends to a total one.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"877 - 892"},"PeriodicalIF":0.4,"publicationDate":"2025-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164665","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":"Symétrons et K-boucles (omega )-stables (omega )-stable symmetric spaces and K-loops","authors":"Samuel Zamour","doi":"10.1007/s00153-025-00967-4","DOIUrl":"10.1007/s00153-025-00967-4","url":null,"abstract":"<div><p>We develop the model theory of <span>(omega )</span>-stable K-loops and symmetric spaces. Continuing Poizat’s seminal work, we notably establish an appropriate version of the indecomposability theorem and we adapt Lascar’s analysis to this context.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"857 - 876"},"PeriodicalIF":0.4,"publicationDate":"2025-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-025-00967-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164341","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 algebraic sums, trees and ideals in the Baire space","authors":"Łukasz Mazurkiewicz,&nbsp;Marcin Michalski,&nbsp;Robert Rałowski,&nbsp;Szymon Żeberski","doi":"10.1007/s00153-025-00966-5","DOIUrl":"10.1007/s00153-025-00966-5","url":null,"abstract":"<div><p>We work in the Baire space <span>(mathbb {Z}^omega )</span> equipped with the coordinate-wise addition <span>(+)</span>. Consider a <span>(sigma -)</span>ideal <span>(mathcal {I})</span> and a family <span>(mathbb {T})</span> of some kind of perfect trees. We are interested in results of the form: for every <span>(Ain mathcal {I})</span> and a tree <span>(Tin mathbb {T})</span> there exists <span>(T'in mathbb {T}, T'subseteq T)</span> such that <span>(A+underbrace{[T']+[T']+dots +[T']}_{text {n--times}}in mathcal {I})</span> for each <span>(nin omega )</span>. Explored tree types include perfect trees, uniformly perfect trees, Miller trees, Laver trees and <span>(omega -)</span>Silver trees. The latter kind of trees is an analogue of Silver trees from the Cantor space. Besides the standard <span>(sigma )</span>-ideal <span>(mathcal {M})</span> of meager sets, we also analyze <span>(mathcal {M}_-)</span> and fake null sets <span>(mathcal {N})</span>. The latter two are born out of the characterizations of their respective analogues in the Cantor space. The key ingredient in proofs were combinatorial characterizations of these ideals in the Baire space.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"843 - 855"},"PeriodicalIF":0.4,"publicationDate":"2025-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145169316","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":"Constructivity conditions on immune sets","authors":"John Case","doi":"10.1007/s00153-024-00958-x","DOIUrl":"10.1007/s00153-024-00958-x","url":null,"abstract":"<div><p>Definitionally: <i>strongly effectively immune</i> sets are infinite and their c.e. subsets have <i>maximums</i> effectively bounded in their c.e. indices; whereas, for <i>effectively immune</i> sets, their c.e. subsets’ <i>cardinalities</i> are what’re effectively bounded. This definitional difference between these two kinds of sets is very nicely paralleled by the following difference between their <i>complements</i>. McLaughlin: <i>strongly</i> effectively immune sets can<i>not</i> have <i>immune complements</i>; whereas, the main theorem herein: <i>effectively</i> immune sets can<i>not</i> have <i>hyperimmune complements</i>. Ullian: <i>effectively</i> immune sets <i>can</i> have <i>effectively</i> immune complements. The main theorem <i>improves</i> Arslanov’s, effectively hyperimmune sets can<i>not</i> have <i>effectively</i> hyperimmune complements: the <i>improvement</i> omits the second ‘<i>effectively</i>’. Two <i>natural</i> examples of <i>strongly effectively immune</i> sets are presented with new cases of the first proved herein. The first is the set of minimal-Blum-size programs for the partial computable functions; the second, the set of Kolmogorov-random strings. A proved, <i>natural</i> example is presented of an <i>effectively dense simple</i>, <i>not</i> strongly effectively simple set; its complement is a set of maximal run-times. Further motivations for this study are presented. <i>Kleene</i> recursion theorem proofs herein emphasize how to conceptualize them. Finally, is suggested, future, related work—illustrated by a first, <i>natural</i>, <i>strongly effectively</i> <span>(Sigma _2^0)</span>-<i>immune set</i>—included: solution of an open problem from Rogers’ book.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"819 - 841"},"PeriodicalIF":0.4,"publicationDate":"2025-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-024-00958-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170838","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":"Axiomatizing modal inclusion logic and its variants","authors":"Aleksi Anttila,&nbsp;Matilda Häggblom,&nbsp;Fan Yang","doi":"10.1007/s00153-024-00957-y","DOIUrl":"10.1007/s00153-024-00957-y","url":null,"abstract":"<div><p>We provide a complete axiomatization of modal inclusion logic—team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator.\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"755 - 793"},"PeriodicalIF":0.4,"publicationDate":"2025-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-024-00957-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170324","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":"The algebra of ordinary discourse. On the semantics of Cooper’s logic","authors":"Umberto Rivieccio","doi":"10.1007/s00153-024-00961-2","DOIUrl":"10.1007/s00153-024-00961-2","url":null,"abstract":"<div><p>We develop an algebraic study of W.S. Cooper’s three-valued propositional logic of ordinary discourse (<span>(mathcal{O}mathcal{L})</span>). This logic displays a number of unusual features: <span>(mathcal{O}mathcal{L})</span> is not weaker but incomparable with classical logic, it is connexive, paraconsistent and contradictory. As a non-structural logic, <span>(mathcal{O}mathcal{L})</span> cannot be algebraized by the standard methods. However, we show that <span>(mathcal{O}mathcal{L})</span> has an algebraizable structural companion, and determine its equivalent semantics, which turns out to be a finitely-generated discriminator variety. We provide an equational and a twist presentation for this class of algebras, which allow us to compare it with other well-known algebras of non-classical logics. In this way we establish that <span>(mathcal{O}mathcal{L})</span> is definitionally equivalent to an expansion of the three-valued logic <span>({mathcal {J}}3)</span> of D’Ottaviano and da Costa, itself a schematic extension of paraconsistent Nelson logic.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"795 - 817"},"PeriodicalIF":0.4,"publicationDate":"2025-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-024-00961-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170323","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":"Ordered abelian groups that do not have elimination of imaginaries","authors":"Martina Liccardo","doi":"10.1007/s00153-025-00965-6","DOIUrl":"10.1007/s00153-025-00965-6","url":null,"abstract":"<div><p>We investigate the property of elimination of imaginaries for some special cases of ordered abelian groups. We show that certain Hahn products of ordered abelian groups do not eliminate imaginaries in the pure language of ordered groups. Moreover, we prove that, adding finitely many constants to the language of ordered abelian groups, the theories of the finite lexicographic products <span>(mathbb {Z}^n)</span> and <span>(mathbb {Z}^n times mathbb {Q})</span> have definable Skolem functions.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"737 - 753"},"PeriodicalIF":0.4,"publicationDate":"2025-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145165136","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":"The Nikodym property and filters on (omega )","authors":"Tomasz Żuchowski","doi":"10.1007/s00153-024-00964-z","DOIUrl":"10.1007/s00153-024-00964-z","url":null,"abstract":"<div><p>For a free filter <i>F</i> on <span>(omega )</span>, let <span>(N_F=omega cup {p_F})</span>, where <span>(p_Fnot in omega )</span>, be equipped with the following topology: every element of <span>(omega )</span> is isolated whereas all open neighborhoods of <span>(p_F)</span> are of the form <span>(Acup {p_F})</span> for <span>(Ain F)</span>. The aim of this paper is to study spaces of the form <span>(N_F)</span> in the context of the Nikodym property of Boolean algebras. By <span>(mathcal{A}mathcal{N})</span> we denote the class of all those ideals <span>(mathcal {I})</span> on <span>(omega )</span> such that for the dual filter <span>(mathcal {I}^*)</span> the space <span>(N_{mathcal {I}^*})</span> carries a sequence <span>(langle mu _n:nin omega rangle )</span> of finitely supported signed measures such that <span>(Vert mu _nVert rightarrow infty )</span> and <span>(mu _n(A)rightarrow 0)</span> for every clopen subset <span>(Asubseteq N_{mathcal {I}^*})</span>. We prove that <span>(mathcal {I}in mathcal{A}mathcal{N})</span> if and only if there exists a density submeasure <span>(varphi )</span> on <span>(omega )</span> such that <span>(varphi (omega )=infty )</span> and <span>(mathcal {I})</span> is contained in the exhaustive ideal <span>(text{ Exh }(varphi ))</span>. Consequently, we get that if <span>(mathcal {I}subseteq text{ Exh }(varphi ))</span> for some density submeasure <span>(varphi )</span> on <span>(omega )</span> such that <span>(varphi (omega )=infty )</span> and <span>(N_{mathcal {I}^*})</span> is homeomorphic to a subspace of the Stone space <span>(St(mathcal {A}))</span> of a given Boolean algebra <span>(mathcal {A})</span>, then <span>(mathcal {A})</span> does not have the Nikodym property. We observe that each <span>(mathcal {I}in mathcal{A}mathcal{N})</span> is Katětov below the asymptotic density zero ideal <span>(mathcal {Z})</span>, and prove that the class <span>(mathcal{A}mathcal{N})</span> has a subset of size <span>(mathfrak {d})</span> which is dominating with respect to the Katětov order <span>(le _K)</span>, but <span>(mathcal{A}mathcal{N})</span> has no <span>(le _K)</span>-maximal element. We show that, when <span>(mathcal {I})</span> is a density ideal, <span>(mathcal {I}not in mathcal{A}mathcal{N})</span> holds if and only if <span>(mathcal {I})</span> is totally bounded if and only if the Boolean algebra <span>(mathcal {P}(omega )/mathcal {I})</span> contains a countable splitting family. Our results shed some new light on differences between the Nikodym property and the Grothendieck property of Boolean algebras.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"705 - 735"},"PeriodicalIF":0.4,"publicationDate":"2025-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164262","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":"Conjunctions of exponential diophantine equations over ({mathbb {Q}})","authors":"Mihai Prunescu","doi":"10.1007/s00153-024-00960-3","DOIUrl":"10.1007/s00153-024-00960-3","url":null,"abstract":"<div><p>In a previous paper of the author it was shown that the question whether systems of exponential diophantine equations are solvable in <span>({mathbb {Q}})</span> is undecidable. Now we show that the solvability of a conjunction of exponential diophantine equations in <span>({mathbb {Q}})</span> is equivalent to the solvability of just one such equation. It follows that the problem whether an exponential diophantine equation has solutions in <span>({mathbb {Q}})</span> is undecidable. We also show that two particular forms of exponential diophantine equations are undecidable. \u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"64 5-6","pages":"699 - 704"},"PeriodicalIF":0.4,"publicationDate":"2025-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145161254","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}