关于集合格式和Gaifman的分裂定理

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2024-11-10 DOI:10.1002/malq.202400021

Taishi Kurahashi, Yoshiaki Minami

{"title":"关于集合格式和Gaifman的分裂定理","authors":"Taishi Kurahashi, Yoshiaki Minami","doi":"10.1002/malq.202400021","DOIUrl":null,"url":null,"abstract":"We study model theoretic characterizations of various collection schemes over <math>\n <semantics>\n <msup>\n <mi>PA</mi>\n <mo>−</mo>\n </msup>\n <annotation>$\\mathsf {PA}^-$</annotation>\n </semantics></math> from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>≥</mo>\n <mn>0</mn>\n </mrow>\n <annotation>$n \\ge 0$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n <mi>M</mi>\n <mo>⊧</mo>\n <msup>\n <mi>PA</mi>\n <mo>−</mo>\n </msup>\n </mrow>\n <annotation>$M \\models \\mathsf {PA}^-$</annotation>\n </semantics></math>, the following are equivalent: \n\n ","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 4","pages":"398-413"},"PeriodicalIF":0.4000,"publicationDate":"2024-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On collection schemes and Gaifman's splitting theorem\",\"authors\":\"Taishi Kurahashi, Yoshiaki Minami\",\"doi\":\"10.1002/malq.202400021\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study model theoretic characterizations of various collection schemes over <math>\\n <semantics>\\n <msup>\\n <mi>PA</mi>\\n <mo>−</mo>\\n </msup>\\n <annotation>$\\\\mathsf {PA}^-$</annotation>\\n </semantics></math> from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>≥</mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation>$n \\\\ge 0$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n <mi>M</mi>\\n <mo>⊧</mo>\\n <msup>\\n <mi>PA</mi>\\n <mo>−</mo>\\n </msup>\\n </mrow>\\n <annotation>$M \\\\models \\\\mathsf {PA}^-$</annotation>\\n </semantics></math>, the following are equivalent: \\n\\n \",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":\"70 4\",\"pages\":\"398-413\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202400021\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202400021","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

我们从盖夫曼分裂定理的角度研究了 PA - $\mathsf {PA}^-$ 上各种集合方案的模型论特征。其中，我们证明了对于任意 n ≥ 0 $n \ge 0$ 和 M ⊧ PA - $M \models \mathsf {PA}^-$ ，以下内容是等价的：

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

On collection schemes and Gaifman's splitting theorem

We study model theoretic characterizations of various collection schemes over ${PA}^{-}$ from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any $n \geq 0$ and $M ⊧ {PA}^{-}$ , the following are equivalent:

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.