{"title":"","authors":"","doi":"10.1002/malq.202310002","DOIUrl":"https://doi.org/10.1002/malq.202310002","url":null,"abstract":"<p>Dear Readers,</p><p>We wish all of you a happy and successful year 2023.</p><p>The issue you are looking at presents our journal in a new layout, the new standardised journal design used by our publisher Wiley-VCH Verlag. Apart from the major changes on the title page of articles, most of the features of the layout of the journal Mathematical Logic Quarterly (MLQ) were retained.</p><p>But the appearance of the papers is not the only major change at MLQ. After having served for a dozen years as one of the Managing Editors of MLQ, Benedikt Löwe has decided to step down at the end of 2022. In 2011, the journal underwent some significant changes as it started to be published under the auspices of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG). Benedikt served as vice president (until 2012) and later as president of the DVMLG (2012–2022) and directed this transition forcefully.</p><p>In addition to being one of the Managing Editors, Benedikt served as the liaison between the DVMLG, the Editorial Office, the publisher, and the typesetters; he worked closely with our past Editorial Assistants, Peter van Ormondt and Hugo Nobrega, as well as our current Editorial Manager, Thomas Piecha. Benedikt's clear and pronounced ideas about scientific publishing have always been appreciated and certainly significantly formed MLQ's current character. We shall try to keep his clear views on scientific publishing in mind. Thank you, Benedikt, for 12 years of inspiring and productive collaboration.</p><p>We are happy that Manuel Bodirsky from the Technische Universität Dresden will replace Benedikt both as Managing Editor and as representative of the DVMLG's Board in the Editorial Office of MLQ. Manuel is well known to us and our authors as he has been a member of the Editorial Board of MLQ since 2017. His main fields of research are Constraint Satisfaction Problems and Universal Algebra. Welcome to the Editorial Office, Manuel!</p><p>Since our last editorial was published in Volume 66 (2020), a number of members of the Editorial Board were re-appointed upon nomination by the Board of the DVMLG for another term of office for three years: Steve Awodey, Zoé Chatzidakis, Victoria Gitman, Andrew Marks, and Alexandra Silva for an additional term from 1 January 2021 to 31 December 2023; Nick Bezhanishvili, Su Gao, Maria Emilia Maietti, and Anush Tserunyan for an additional term from 1 January 2022 to 31 December 2024; and John Baldwin, Artem Chernikov, Rod Downey, Ilijas Farah, Ekaterina Fokina, Stefan Geschke, Hajime Ishihara, Franziska Jahnke, and Dima Sinapova for an additional term from 1 January 2023 to 31 December 2025. After nine years of service in the Editorial Board, Jan Krajíček left the board at the end of 2022. Thanks to Jan for his commitment to make MLQ a successful project.</p><p>As new members of the Editorial Board, the following researchers were appointed for a first term from 1 January 202","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"6"},"PeriodicalIF":0.3,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202310002","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50116317","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":"Cofinal types on ω2","authors":"Borisa Kuzeljevic, Stevo Todorcevic","doi":"10.1002/malq.202200021","DOIUrl":"https://doi.org/10.1002/malq.202200021","url":null,"abstract":"<p>In this paper we start the analysis of the class <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>D</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 </msub>\u0000 <annotation>$mathcal {D}_{aleph _2}$</annotation>\u0000 </semantics></math>, the class of cofinal types of directed sets of cofinality at most ℵ<sub>2</sub>. We compare elements of <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>D</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 </msub>\u0000 <annotation>$mathcal {D}_{aleph _2}$</annotation>\u0000 </semantics></math> using the notion of Tukey reducibility. We isolate some simple cofinal types in <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>D</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 </msub>\u0000 <annotation>$mathcal {D}_{aleph _2}$</annotation>\u0000 </semantics></math>, and then proceed to find some of these types which have an immediate successor in the Tukey ordering of <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>D</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 </msub>\u0000 <annotation>$mathcal {D}_{aleph _2}$</annotation>\u0000 </semantics></math>.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"92-103"},"PeriodicalIF":0.3,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50149486","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 proof-theoretic metatheorem for tracial von Neumann algebras","authors":"Liviu Păunescu, Andrei Sipoş","doi":"10.1002/malq.202200048","DOIUrl":"https://doi.org/10.1002/malq.202200048","url":null,"abstract":"<p>We adapt a continuous logic axiomatization of tracial von Neumann algebras due to Farah, Hart and Sherman in order to prove a metatheorem for this class of structures in the style of proof mining, a research programme that aims to obtain the hidden computational content of ordinary mathematical proofs using tools from proof theory.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"63-76"},"PeriodicalIF":0.3,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50147575","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":"Nice ℵ1 generated non-P-points, Part I","authors":"Saharon Shelah","doi":"10.1002/malq.202200070","DOIUrl":"https://doi.org/10.1002/malq.202200070","url":null,"abstract":"<p>We define a family of non-principal ultrafilters on <math>\u0000 <semantics>\u0000 <mi>N</mi>\u0000 <annotation>${mathbb {N}}$</annotation>\u0000 </semantics></math> which are, in a sense, very far from P-points. We prove the existence of such ultrafilters under reasonable conditions. In subsequent articles, we intend to prove that such ultrafilters may exist while no P-point exists. Though our primary motivations came from forcing and independence results, the family of ultrafilters introduced here should be interesting from combinatorial point of view too.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"117-129"},"PeriodicalIF":0.3,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200070","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50147578","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 cofinality of the strong measure zero ideal for κ inaccessible","authors":"Johannes Philipp Schürz","doi":"10.1002/malq.202000093","DOIUrl":"https://doi.org/10.1002/malq.202000093","url":null,"abstract":"<p>We investigate the cofinality of the strong measure zero ideal for κ inaccessible and show that it is independent of the size of 2<sup>κ</sup>.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"31-39"},"PeriodicalIF":0.3,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202000093","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50147576","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":"Some definable types that cannot be amalgamated","authors":"Martin Hils, Rosario Mennuni","doi":"10.1002/malq.202200046","DOIUrl":"https://doi.org/10.1002/malq.202200046","url":null,"abstract":"<p>We exhibit a theory where definable types lack the amalgamation property.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"46-49"},"PeriodicalIF":0.3,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200046","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50147577","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 subset relation and 2-stratified sentences in set theory and class theory","authors":"Zachiri McKenzie","doi":"10.1002/malq.202200029","DOIUrl":"https://doi.org/10.1002/malq.202200029","url":null,"abstract":"<p>Hamkins and Kikuchi (2016, 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. This paper identifies the minimum subsystem of <math>\u0000 <semantics>\u0000 <mi>ZF</mi>\u0000 <annotation>$mathsf {ZF}$</annotation>\u0000 </semantics></math>, <math>\u0000 <semantics>\u0000 <mi>BAS</mi>\u0000 <annotation>$mathsf {BAS}$</annotation>\u0000 </semantics></math>, that ensures that the definable subset ordering of the universe interprets a complete theory, and classifies the structures that can be realised as the subset relation in a model of this set theory. Extending and refining Hamkins and Kikuchi's result for class theory, a complete extension, <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>IABA</mi>\u0000 <mi>Ideal</mi>\u0000 </msub>\u0000 <annotation>$mathsf {IABA}_{mathsf {Ideal}}$</annotation>\u0000 </semantics></math>, of the theory of infinite atomic boolean algebras and a minimum subsystem, <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>BAC</mi>\u0000 <mo>+</mo>\u0000 </msup>\u0000 <annotation>$mathsf {BAC}^+$</annotation>\u0000 </semantics></math>, of <math>\u0000 <semantics>\u0000 <mi>NBG</mi>\u0000 <annotation>$mathsf {NBG}$</annotation>\u0000 </semantics></math> are identified with the property that if <math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$mathcal {M}$</annotation>\u0000 </semantics></math> is a model of <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>BAC</mi>\u0000 <mo>+</mo>\u0000 </msup>\u0000 <annotation>$mathsf {BAC}^+$</annotation>\u0000 </semantics></math>, then <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>⟨</mo>\u0000 <mi>M</mi>\u0000 <mo>,</mo>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mi>M</mi>\u0000 </msup>\u0000 <mo>,</mo>\u0000 <msup>\u0000 <mo>⊆</mo>\u0000 <mi>M</mi>\u0000 </msup>\u0000 <mo>⟩</mo>\u0000 </mrow>\u0000 <annotation>$langle M, mathcal {S}^mathcal {M}, subseteq ^mathcal {M} rangle$</annotation>\u0000 </semantics></math> is a model of <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>IABA</mi>\u0000 <mi>Ideal</mi>\u0000 </msub>\u0000 <annotation>$mathsf {IABA}_{mathsf {Ideal}}$</annotation>\u0000 </semantics></math>, where <i>M</i> is the underlying set of <math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$mathcal {M}$</annotation>\u0000 </semantics></math>, <math>\u0000 <semantics>\u0000 ","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"77-91"},"PeriodicalIF":0.3,"publicationDate":"2023-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50147305","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}
Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle
{"title":"On splitting trees","authors":"Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle","doi":"10.1002/malq.202200022","DOIUrl":"https://doi.org/10.1002/malq.202200022","url":null,"abstract":"<p>We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility, Baire- and Doughnut-property and the Marczewski field. Moreover, we prove that any <i>absolute</i> amoeba forcing for splitting trees necessarily adds a dominating real, providing more support to Hein's and Spinas' conjecture that <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>add</mo>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>I</mi>\u0000 <mi>SP</mi>\u0000 </msub>\u0000 <mo>)</mo>\u0000 <mo>≤</mo>\u0000 <mi>b</mi>\u0000 </mrow>\u0000 <annotation>$operatorname{add}(mathcal {I}_mathbb {SP}) le mathfrak {b}$</annotation>\u0000 </semantics></math>.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"15-30"},"PeriodicalIF":0.3,"publicationDate":"2023-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200022","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50155350","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":"Incomparable \u0000 \u0000 \u0000 V\u0000 γ\u0000 \u0000 $V_gamma$\u0000 -degrees","authors":"Teng Zhang","doi":"10.1002/malq.202200034","DOIUrl":"https://doi.org/10.1002/malq.202200034","url":null,"abstract":"<p>In [3], Shi proved that there exist incomparable Zermelo degrees at γ if there exists an ω-sequence of measurable cardinals, whose limit is γ. He asked whether there is a size <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>γ</mi>\u0000 <mi>ω</mi>\u0000 </msup>\u0000 <annotation>$gamma ^omega$</annotation>\u0000 </semantics></math> antichain of Zermelo degrees. We consider this question for the <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>V</mi>\u0000 <mi>γ</mi>\u0000 </msub>\u0000 <annotation>$V_gamma$</annotation>\u0000 </semantics></math>-degree structure. We use a kind of Prikry-type forcing to show that if there is an ω-sequence of measurable cardinals, then there are <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>γ</mi>\u0000 <mi>ω</mi>\u0000 </msup>\u0000 <annotation>$gamma ^omega$</annotation>\u0000 </semantics></math>-many pairwise incomparable <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>V</mi>\u0000 <mi>γ</mi>\u0000 </msub>\u0000 <annotation>$V_gamma$</annotation>\u0000 </semantics></math>-degrees, where γ is the limit of the ω-sequence of measurable cardinals.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"58-62"},"PeriodicalIF":0.3,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50154667","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":"Strongly unfoldable, splitting and bounding","authors":"Ömer Faruk Bağ, Vera Fischer","doi":"10.1002/malq.202200003","DOIUrl":"https://doi.org/10.1002/malq.202200003","url":null,"abstract":"<p>Assuming <math>\u0000 <semantics>\u0000 <mi>GCH</mi>\u0000 <annotation>$mathsf {GCH}$</annotation>\u0000 </semantics></math>, we show that generalized eventually narrow sequences on a strongly inaccessible cardinal κ are preserved under a one step iteration of the Hechler forcing for adding a dominating κ-real. Moreover, we show that if κ is strongly unfoldable, <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msup>\u0000 <mn>2</mn>\u0000 <mi>κ</mi>\u0000 </msup>\u0000 <mo>=</mo>\u0000 <msup>\u0000 <mi>κ</mi>\u0000 <mo>+</mo>\u0000 </msup>\u0000 </mrow>\u0000 <annotation>$2^kappa =kappa ^+$</annotation>\u0000 </semantics></math> and λ is a regular cardinal such that <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msup>\u0000 <mi>κ</mi>\u0000 <mo>+</mo>\u0000 </msup>\u0000 <mo><</mo>\u0000 <mi>λ</mi>\u0000 </mrow>\u0000 <annotation>$kappa ^+ < lambda$</annotation>\u0000 </semantics></math>, then there is a set generic extension in which <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>s</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>κ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <msup>\u0000 <mi>κ</mi>\u0000 <mo>+</mo>\u0000 </msup>\u0000 <mo><</mo>\u0000 <mi>b</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>κ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <mi>c</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>κ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <mi>λ</mi>\u0000 </mrow>\u0000 <annotation>$mathfrak {s}(kappa ) = kappa ^+ < mathfrak {b}(kappa ) = mathfrak {c}(kappa ) = lambda$</annotation>\u0000 </semantics></math>.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"7-14"},"PeriodicalIF":0.3,"publicationDate":"2023-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200003","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50154033","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}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
