Mathematical Logic Quarterly最新文献

{"title":"Models of \u0000 \u0000 \u0000 VTC\u0000 0\u0000 \u0000 $mathsf {VTC^0}$\u0000 as exponential integer parts","authors":"Emil Jeřábek","doi":"10.1002/malq.202300001","DOIUrl":"https://doi.org/10.1002/malq.202300001","url":null,"abstract":"<p>We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>VTC</mi>\u0000 <mn>0</mn>\u0000 </msup>\u0000 <annotation>$mathsf {VTC^0}$</annotation>\u0000 </semantics></math> are recursively saturated in a rich language with predicates expressing the integers, rationals, and logarithmically bounded numbers. Combined with our previous results on the construction of the real exponential function on completions of models of <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>VTC</mi>\u0000 <mn>0</mn>\u0000 </msup>\u0000 <annotation>$mathsf {VTC^0}$</annotation>\u0000 </semantics></math>, we show that every countable model of <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>VTC</mi>\u0000 <mn>0</mn>\u0000 </msup>\u0000 <annotation>$mathsf {VTC^0}$</annotation>\u0000 </semantics></math> is an exponential integer part of a real-closed exponential field.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202300001","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50117487","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":"Forcing revisited","authors":"Toby Meadows","doi":"10.1002/malq.202000040","DOIUrl":"https://doi.org/10.1002/malq.202000040","url":null,"abstract":"<p>The purpose of this paper is to propose and explore a general framework within which a wide variety of model construction techniques from contemporary set theory can be subsumed. Taking our inspiration from presheaf constructions in category theory and Boolean ultrapowers, we will show that generic extensions, ultrapowers, extenders and generic ultrapowers can be construed as examples of a single model construction technique. In particular, we will show that Łoś's theorem can be construed as a specific case of Cohen's truth lemma, and we isolate the weakest conditions a filter must satisfy in order for the truth lemma to work.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50115389","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":"Logics of upsets of De Morgan lattices","authors":"Adam Přenosil","doi":"10.1002/malq.202100076","DOIUrl":"10.1002/malq.202100076","url":null,"abstract":"<p>We study logics determined by matrices consisting of a De Morgan lattice with an upward closed set of designated values, such as the logic of non-falsity preservation in a given finite Boolean algebra and Shramko's logic of non-falsity preservation in the four-element subdirectly irreducible De Morgan lattice. The key tool in the study of these logics is the lattice-theoretic notion of an <i>n</i>-filter. We study the logics of all (complete, consistent, and classical) <i>n</i>-filters on De Morgan lattices, which are non-adjunctive generalizations of the four-valued logic of Belnap and Dunn (of the three-valued logics of Priest and Kleene, and of classical logic). We then show how to find a finite Hilbert-style axiomatization of any logic determined by a finite family of prime upsets of finite De Morgan lattices and a finite Gentzen-style axiomatization of any logic determined by a finite family of filters on finite De Morgan lattices. As an application, we axiomatize Shramko's logic of anything but falsehood.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86044937","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":"Spherically complete models of Hensel minimal valued fields","authors":"David B. Bradley-Williams,&nbsp;Immanuel Halupczok","doi":"10.1002/malq.202100055","DOIUrl":"https://doi.org/10.1002/malq.202100055","url":null,"abstract":"<p>We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is 0-h^mix-minimality (which, in equi-characteristic 0, amounts to 0-h-minimality).</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202100055","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50124173","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":"Coding of real-valued continuous functions under \u0000 \u0000 WKL\u0000 $mathsf {WKL}$","authors":"Tatsuji Kawai","doi":"10.1002/malq.202200031","DOIUrl":"https://doi.org/10.1002/malq.202200031","url":null,"abstract":"<p>In the context of constructive reverse mathematics, we show that weak Kőnig's lemma (<math>\u0000 <semantics>\u0000 <mi>WKL</mi>\u0000 <annotation>$mathsf {WKL}$</annotation>\u0000 </semantics></math>) implies that every pointwise continuous function <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>f</mi>\u0000 <mo>:</mo>\u0000 <mo>[</mo>\u0000 <mn>0</mn>\u0000 <mo>,</mo>\u0000 <mn>1</mn>\u0000 <mo>]</mo>\u0000 <mo>→</mo>\u0000 <mi>R</mi>\u0000 </mrow>\u0000 <annotation>$f : [0,1]rightarrow mathbb {R}$</annotation>\u0000 </semantics></math> is induced by a code in the sense of reverse mathematics. This, combined with the fact that <math>\u0000 <semantics>\u0000 <mi>WKL</mi>\u0000 <annotation>$mathsf {WKL}$</annotation>\u0000 </semantics></math> implies the Fan theorem, shows that <math>\u0000 <semantics>\u0000 <mi>WKL</mi>\u0000 <annotation>$mathsf {WKL}$</annotation>\u0000 </semantics></math> implies the uniform continuity theorem: every pointwise continuous function <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>f</mi>\u0000 <mo>:</mo>\u0000 <mo>[</mo>\u0000 <mn>0</mn>\u0000 <mo>,</mo>\u0000 <mn>1</mn>\u0000 <mo>]</mo>\u0000 <mo>→</mo>\u0000 <mi>R</mi>\u0000 </mrow>\u0000 <annotation>$f : [0,1]rightarrow mathbb {R}$</annotation>\u0000 </semantics></math> has a modulus of uniform continuity. Our results are obtained in Heyting arithmetic in all finite types with quantifier-free axiom of choice.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50142952","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":"On Hausdorff operators in \u0000 \u0000 ZF\u0000 $mathsf {ZF}$","authors":"Kyriakos Keremedis,&nbsp;Eleftherios Tachtsis","doi":"10.1002/malq.202300004","DOIUrl":"https://doi.org/10.1002/malq.202300004","url":null,"abstract":"<p>A Hausdorff space <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>X</mi>\u0000 <mo>,</mo>\u0000 <mi>T</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(X,mathcal {T})$</annotation>\u0000 </semantics></math> is called effectively Hausdorff if there exists a function <i>F</i>—called a Hausdorff operator—such that, for every <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>x</mi>\u0000 <mo>,</mo>\u0000 <mi>y</mi>\u0000 <mo>∈</mo>\u0000 <mi>X</mi>\u0000 </mrow>\u0000 <annotation>$x,yin X$</annotation>\u0000 </semantics></math> with <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>x</mi>\u0000 <mo>≠</mo>\u0000 <mi>y</mi>\u0000 </mrow>\u0000 <annotation>$xne y$</annotation>\u0000 </semantics></math>, <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>F</mi>\u0000 <mo>(</mo>\u0000 <mi>x</mi>\u0000 <mo>,</mo>\u0000 <mi>y</mi>\u0000 <mo>)</mo>\u0000 <mo>=</mo>\u0000 <mo>(</mo>\u0000 <mi>U</mi>\u0000 <mo>,</mo>\u0000 <mi>V</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$F(x,y)=(U,V)$</annotation>\u0000 </semantics></math>, where <i>U</i> and <i>V</i> are disjoint open neighborhoods of <i>x</i> and <i>y</i>, respectively. Among other results, we establish the following in <math>\u0000 <semantics>\u0000 <mi>ZF</mi>\u0000 <annotation>$mathsf {ZF}$</annotation>\u0000 </semantics></math>, i.e., in Zermelo–Fraenkel set theory without the Axiom of Choice (<math>\u0000 <semantics>\u0000 <mi>AC</mi>\u0000 <annotation>$mathsf {AC}$</annotation>\u0000 </semantics></math>):</p><p>\u0000 </p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50142953","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":"Topological duality for orthomodular lattices","authors":"Joseph McDonald,&nbsp;Katalin Bimbó","doi":"10.1002/malq.202200044","DOIUrl":"https://doi.org/10.1002/malq.202200044","url":null,"abstract":"<p>A class of ordered relational topological spaces is described, which we call <i>orthomodular spaces</i>. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimbó's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call <i>continuous weak p-morphisms</i>. It is well-known that orthomodular lattices provide an algebraic semantics for the quantum logic <math>\u0000 <semantics>\u0000 <mi>Q</mi>\u0000 <annotation>$mathcal {Q}$</annotation>\u0000 </semantics></math>. Hence, as an application of our duality, we develop a topological semantics for <math>\u0000 <semantics>\u0000 <mi>Q</mi>\u0000 <annotation>$mathcal {Q}$</annotation>\u0000 </semantics></math> using orthomodular spaces and prove soundness and completeness.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200044","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50153949","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":"Bowtie-free graphs and generic automorphisms","authors":"Daoud Siniora","doi":"10.1002/malq.202200047","DOIUrl":"https://doi.org/10.1002/malq.202200047","url":null,"abstract":"<p>We show that the countable universal ω-categorical bowtie-free graph admits generic automorphisms. Moreover, we show that this graph is not finitely homogenisable.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50119031","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":"Avoiding Medvedev reductions inside a linear order","authors":"Noah Schweber","doi":"10.1002/malq.202200059","DOIUrl":"https://doi.org/10.1002/malq.202200059","url":null,"abstract":"<p>While every endpointed interval <i>I</i> in a linear order <i>J</i> is, considered as a linear order in its own right, trivially Muchnik-reducible to <i>J</i> itself, this fails for Medvedev-reductions. We construct an extreme example of this: a linear order in which no endpointed interval is Medvedev-reducible to any other, even allowing parameters, except when the two intervals have finite difference. We also construct a scattered linear order which has many endpointed intervals Medvedev-incomparable to itself; the only other known construction of such a linear order yields an ordinal of extremely high complexity, whereas this construction produces a low-level-arithmetic example. Additionally, the constructions here are “coarse” in the sense that they lift to other uniform reducibility notions in place of Medvedev reducibility itself.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50153950","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 categorical equivalence between logical quantale modules and quantum B-modules","authors":"Xianglong Ruan,&nbsp;Xiaochuan Liu","doi":"10.1002/malq.202200062","DOIUrl":"10.1002/malq.202200062","url":null,"abstract":"<p>This paper introduces the notion of logical quantale module. It proves that there is a dual equivalence between the category of logical quantale modules and the category of quantum B-modules, in the way that every quantum B-module admits a natural embedding into a logical quantale module, the enveloping quantale module.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84190356","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}