Mathematical Logic Quarterly最新文献

{"title":"Effectiveness of Walker's cancellation theorem","authors":"Layth Al‐Hellawi, Rachael Alvir, Barbara F. Csima, Xinyue Xie","doi":"10.1002/malq.202400030","DOIUrl":"https://doi.org/10.1002/malq.202400030","url":null,"abstract":"Walker's cancellation theorem for abelian groups tells us that if is finitely generated and and are such that , then . Deveau showed that the theorem can be effectivized, but not uniformly. In this paper, we expand on Deveau's initial analysis to show that the complexity of uniformly outputting an index of an isomorphism between and , given indices for , , , the isomorphism between and , and the rank of , is . Moreover, we find that the complexity remains even if the generators in the copies of are specified.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142254844","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":"Good points for scales (and more)","authors":"Pierre Matet","doi":"10.1002/malq.202300034","DOIUrl":"https://doi.org/10.1002/malq.202300034","url":null,"abstract":"Given a scale (in the sense of Shelah's pcf theory), we list various conditions ensuring that a given point is good for the scale.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182741","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":"Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$mathsf {ZF}$”, https://doi.org/10.1002/malq.202300024","authors":"","doi":"10.1002/malq.202430002","DOIUrl":"https://doi.org/10.1002/malq.202430002","url":null,"abstract":"","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182740","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":"Wadge degrees of Δ20$mathbf{Delta }^0_2$ omega‐powers","authors":"Olivier Finkel, Dominique Lecomte","doi":"10.1002/malq.202400024","DOIUrl":"https://doi.org/10.1002/malq.202400024","url":null,"abstract":"We provide, for each natural number and each class among , , , a regular language whose associated omega‐power is complete for this class.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182743","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":"Contents: (Math. Log. Quart. 2/2024)","authors":"","doi":"10.1002/malq.202470022","DOIUrl":"10.1002/malq.202470022","url":null,"abstract":"","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202470022","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141770342","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":"Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups","authors":"Eliana Barriga","doi":"10.1002/malq.202300028","DOIUrl":"https://doi.org/10.1002/malq.202300028","url":null,"abstract":"We state conditions for which a definable local homomorphism between two locally definable groups , can be uniquely extended when is simply connected (Theorem 2.1). As an application of this result we obtain an easy proof of [3, Theorem 9.1] (cf. Corollary 2.3). We also prove that [3, Theorem 10.2] also holds for any definably connected definably compact semialgebraic group not necessarily abelian over a sufficiently saturated real closed field ; namely, that the o‐minimal universal covering group of is an open locally definable subgroup of for some ‐algebraic group (Theorem 3.3). Finally, for an abelian definably connected semialgebraic group over , we describe as a locally definable extension of subgroups of the o‐minimal universal covering groups of commutative ‐algebraic groups (Theorem 3.4).","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141745481","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 Hartogs–Lindenbaum spectrum of symmetric extensions","authors":"Calliope Ryan-Smith","doi":"10.1002/malq.202300047","DOIUrl":"10.1002/malq.202300047","url":null,"abstract":"<p>We expand the classic result that <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>AC</mi>\u0000 <mi>WO</mi>\u0000 </msub>\u0000 <annotation>$mathsf {AC}_mathsf {WO}$</annotation>\u0000 </semantics></math> is equivalent to the statement “For all <span></span><math>\u0000 <semantics>\u0000 <mi>X</mi>\u0000 <annotation>$X$</annotation>\u0000 </semantics></math>, <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>ℵ</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>X</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <msup>\u0000 <mi>ℵ</mi>\u0000 <mo>∗</mo>\u0000 </msup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>X</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$aleph (X)=aleph ^*(X)$</annotation>\u0000 </semantics></math>” by proving the equivalence of many more related statements. Then, we introduce the Hartogs–Lindenbaum spectrum of a model of <span></span><math>\u0000 <semantics>\u0000 <mi>ZF</mi>\u0000 <annotation>$mathsf {ZF}$</annotation>\u0000 </semantics></math>, and inspect the structure of these spectra in models that are obtained by a symmetric extension of a model of <span></span><math>\u0000 <semantics>\u0000 <mi>ZFC</mi>\u0000 <annotation>$mathsf {ZFC}$</annotation>\u0000 </semantics></math>. We prove that all such spectra fall into a very rigid pattern.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202300047","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141720944","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":"Filter-Menger set of reals in Cohen extensions","authors":"Hang Zhang,&nbsp;Shuguo Zhang","doi":"10.1002/malq.202300008","DOIUrl":"10.1002/malq.202300008","url":null,"abstract":"<p>We prove that for every ultrafilter <span></span><math>\u0000 <semantics>\u0000 <mi>U</mi>\u0000 <annotation>$mathcal {U}$</annotation>\u0000 </semantics></math> on <span></span><math>\u0000 <semantics>\u0000 <mi>ω</mi>\u0000 <annotation>$omega$</annotation>\u0000 </semantics></math> there exists a filter <span></span><math>\u0000 <semantics>\u0000 <mi>F</mi>\u0000 <annotation>$mathcal {F}$</annotation>\u0000 </semantics></math> on <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mn>2</mn>\u0000 <mrow>\u0000 <mo>&lt;</mo>\u0000 <mi>ω</mi>\u0000 </mrow>\u0000 </msup>\u0000 <annotation>$2^{&amp;lt;omega }$</annotation>\u0000 </semantics></math> which is <span></span><math>\u0000 <semantics>\u0000 <mi>U</mi>\u0000 <annotation>$mathcal {U}$</annotation>\u0000 </semantics></math>-Menger and <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>χ</mi>\u0000 <mo>(</mo>\u0000 <mi>F</mi>\u0000 <mo>)</mo>\u0000 <mo>=</mo>\u0000 <mi>b</mi>\u0000 <mo>(</mo>\u0000 <mi>U</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$chi (mathcal {F})=mathfrak {b}(mathcal {U})$</annotation>\u0000 </semantics></math>. We show that in the Cohen model there exists such <span></span><math>\u0000 <semantics>\u0000 <mi>F</mi>\u0000 <annotation>$mathcal {F}$</annotation>\u0000 </semantics></math> which are tall by using a construction of Nyikos's [10]. These answer a question of Das [2, Problem 7]. We prove that there is a Menger filter of character <span></span><math>\u0000 <semantics>\u0000 <mi>d</mi>\u0000 <annotation>$mathfrak {d}$</annotation>\u0000 </semantics></math> that is not Hurewicz in the <span></span><math>\u0000 <semantics>\u0000 <mi>κ</mi>\u0000 <annotation>$kappa$</annotation>\u0000 </semantics></math>-Cohen model where <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>κ</mi>\u0000 <mo>&gt;</mo>\u0000 <msub>\u0000 <mi>ω</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 </mrow>\u0000 <annotation>$kappa &amp;gt;omega _{1}$</annotation>\u0000 </semantics></math> is uncountable regular. This shows that the positive answer to a question of Hernández-Gutiérrez and Szeptycki [3, Question 2.8] is consistent with <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>b</mi>\u0000 <mo>&lt;</mo>\u0000 <mi>d</mi>\u0000 </mrow>\u0000 <annotation>$mathfrak {b}&amp;lt;mathfrak {d}$</annotation>\u0000 </se","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141645034","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":"Expansions of real closed fields with the Banach fixed point property","authors":"Athipat Thamrongthanyalak","doi":"10.1002/malq.202400001","DOIUrl":"10.1002/malq.202400001","url":null,"abstract":"<p>We study a variant of converses of the Banach fixed point theorem and its connection to tameness in expansions of a real closed field. An expansion of a real closed ordered field is said to have the Banach fixed point property when, for every locally closed definable set <span></span><math>\u0000 <semantics>\u0000 <mi>E</mi>\u0000 <annotation>$E$</annotation>\u0000 </semantics></math>, if every definable contraction on <span></span><math>\u0000 <semantics>\u0000 <mi>E</mi>\u0000 <annotation>$E$</annotation>\u0000 </semantics></math> has a fixed point, then <span></span><math>\u0000 <semantics>\u0000 <mi>E</mi>\u0000 <annotation>$E$</annotation>\u0000 </semantics></math> is closed. Let <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$mathfrak {R}$</annotation>\u0000 </semantics></math> be an expansion of a real closed field. We prove that if <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$mathfrak {R}$</annotation>\u0000 </semantics></math> has an o-minimal open core, then it has the Banach fixed point property; and if <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$mathfrak {R}$</annotation>\u0000 </semantics></math> is definably complete and has the Banach fixed point property, then it has a locally o-minimal open core.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141646827","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":"Hilbert's tenth problem for lacunary entire functions of finite order","authors":"Natalia Garcia-Fritz,&nbsp;Hector Pasten","doi":"10.1002/malq.202300046","DOIUrl":"10.1002/malq.202300046","url":null,"abstract":"<p>In the context of Hilbert's tenth problem, an outstanding open case is that of complex entire functions in one variable. A negative solution is known for polynomials (by Denef) and for exponential polynomials of finite order (by Chompitaki, Garcia-Fritz, Pasten, Pheidas, and Vidaux), but no other case is known for rings of complex entire functions in one variable. We prove a negative solution to the analogue of Hilbert's tenth problem for rings of complex entire functions of finite order having lacunary power series expansion at the origin.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141570539","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}