{"title":"Refining the arithmetical hierarchy of classical principles","authors":"Makoto Fujiwara, Taishi Kurahashi","doi":"10.1002/malq.202000077","DOIUrl":"10.1002/malq.202000077","url":null,"abstract":"<p>We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, De Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90720467","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":"Choice principles in local mantles","authors":"Farmer Schlutzenberg","doi":"10.1002/malq.202000089","DOIUrl":"10.1002/malq.202000089","url":null,"abstract":"<p>Assume <math>\u0000 <semantics>\u0000 <mi>ZFC</mi>\u0000 <annotation>$mathsf {ZFC}$</annotation>\u0000 </semantics></math>. Let κ be a cardinal. A <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo><</mo>\u0000 <mspace></mspace>\u0000 <mi>κ</mi>\u0000 </mrow>\u0000 <annotation>${mathord {<}hspace{1.111pt}kappa }$</annotation>\u0000 </semantics></math><i>-ground</i>\u0000is a transitive proper class <i>W</i> modelling <math>\u0000 <semantics>\u0000 <mi>ZFC</mi>\u0000 <annotation>$mathsf {ZFC}$</annotation>\u0000 </semantics></math> such that <i>V</i> is a generic extension of <i>W</i> via a forcing <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>P</mi>\u0000 <mo>∈</mo>\u0000 <mi>W</mi>\u0000 </mrow>\u0000 <annotation>$mathbb {P}in W$</annotation>\u0000 </semantics></math> of cardinality <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo><</mo>\u0000 <mspace></mspace>\u0000 <mi>κ</mi>\u0000 </mrow>\u0000 <annotation>${mathord {<}hspace{1.111pt}kappa }$</annotation>\u0000 </semantics></math>. The κ<i>-mantle</i> <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>M</mi>\u0000 <mi>κ</mi>\u0000 </msub>\u0000 <annotation>$mathcal {M}_kappa$</annotation>\u0000 </semantics></math> is the intersection of all <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo><</mo>\u0000 <mspace></mspace>\u0000 <mi>κ</mi>\u0000 </mrow>\u0000 <annotation>${mathord {<}hspace{1.111pt}kappa }$</annotation>\u0000 </semantics></math>-grounds. We prove that certain partial choice principles in <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>M</mi>\u0000 <mi>κ</mi>\u0000 </msub>\u0000 <annotation>$mathcal {M}_kappa$</annotation>\u0000 </semantics></math> are the consequence of κ being inaccessible/weakly compact, and some other related facts.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202000089","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87216191","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":"Controlling the number of normal measures at successor cardinals","authors":"Arthur W. Apter","doi":"10.1002/malq.202000087","DOIUrl":"10.1002/malq.202000087","url":null,"abstract":"<p>We examine the number of normal measures a successor cardinal can carry, in universes in which the Axiom of Choice is false. When considering successors of singular cardinals, we establish relative consistency results assuming instances of supercompactness, together with the Ultrapower Axiom <math>\u0000 <semantics>\u0000 <mi>UA</mi>\u0000 <annotation>$mathsf {UA}$</annotation>\u0000 </semantics></math> (introduced by Goldberg in [12]). When considering successors of regular cardinals, we establish relative consistency results only assuming the existence of one measurable cardinal. This allows for equiconsistencies.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117466315","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":"Some model theory of \u0000 \u0000 \u0000 Th\u0000 (\u0000 N\u0000 ,\u0000 ·\u0000 )\u0000 \u0000 $operatorname{Th}(mathbb {N},cdot )$","authors":"Atticus Stonestrom","doi":"10.1002/malq.202100049","DOIUrl":"10.1002/malq.202100049","url":null,"abstract":"<p>‘Skolem arithmetic’ is the complete theory <i>T</i> of the multiplicative monoid <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>N</mi>\u0000 <mo>,</mo>\u0000 <mo>·</mo>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(mathbb {N},cdot )$</annotation>\u0000 </semantics></math>. We give a full characterization of the <math>\u0000 <semantics>\u0000 <mi>⌀</mi>\u0000 <annotation>$varnothing$</annotation>\u0000 </semantics></math>-definable stably embedded sets of <i>T</i>, showing in particular that, up to the relation of having the same definable closure, there is only one non-trivial one: the set of squarefree elements. We then prove that <i>T</i> has weak elimination of imaginaries but not elimination of finite imaginaries.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202100049","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77779650","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}