棋子选择和基数算术

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2022-09-07 DOI:10.1002/malq.202100033

Pierre Matet

{"title":"棋子选择和基数算术","authors":"Pierre Matet","doi":"10.1002/malq.202100033","DOIUrl":null,"url":null,"abstract":"<p>We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if <math>\n <semantics>\n <mrow>\n <mi>λ</mi>\n <mo>≥</mo>\n <msup>\n <mn>2</mn>\n <mi>κ</mi>\n </msup>\n </mrow>\n <annotation>$\\lambda \\ge 2^\\kappa$</annotation>\n </semantics></math>, then (a) <math>\n <semantics>\n <msub>\n <mi>I</mi>\n <mrow>\n <mi>κ</mi>\n <mo>,</mo>\n <mi>λ</mi>\n </mrow>\n </msub>\n <annotation>$I_{\\kappa , \\lambda }$</annotation>\n </semantics></math> is not (λ, 2)-distributive, and (b) <math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>I</mi>\n <mrow>\n <mi>κ</mi>\n <mo>,</mo>\n <mi>λ</mi>\n </mrow>\n <mo>+</mo>\n </msubsup>\n <mo>→</mo>\n <msubsup>\n <mrow>\n <mo>(</mo>\n <msubsup>\n <mi>I</mi>\n <mrow>\n <mi>κ</mi>\n <mo>,</mo>\n <mi>λ</mi>\n </mrow>\n <mo>+</mo>\n </msubsup>\n <mo>)</mo>\n </mrow>\n <mi>ω</mi>\n <mn>2</mn>\n </msubsup>\n </mrow>\n <annotation>$I_{\\kappa , \\lambda }^+ \\rightarrow (I_{\\kappa , \\lambda }^+)^2_\\omega$</annotation>\n </semantics></math> does not hold.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"68 4","pages":"416-446"},"PeriodicalIF":0.4000,"publicationDate":"2022-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Piece selection and cardinal arithmetic\",\"authors\":\"Pierre Matet\",\"doi\":\"10.1002/malq.202100033\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if <math>\\n <semantics>\\n <mrow>\\n <mi>λ</mi>\\n <mo>≥</mo>\\n <msup>\\n <mn>2</mn>\\n <mi>κ</mi>\\n </msup>\\n </mrow>\\n <annotation>$\\\\lambda \\\\ge 2^\\\\kappa$</annotation>\\n </semantics></math>, then (a) <math>\\n <semantics>\\n <msub>\\n <mi>I</mi>\\n <mrow>\\n <mi>κ</mi>\\n <mo>,</mo>\\n <mi>λ</mi>\\n </mrow>\\n </msub>\\n <annotation>$I_{\\\\kappa , \\\\lambda }$</annotation>\\n </semantics></math> is not (λ, 2)-distributive, and (b) <math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>I</mi>\\n <mrow>\\n <mi>κ</mi>\\n <mo>,</mo>\\n <mi>λ</mi>\\n </mrow>\\n <mo>+</mo>\\n </msubsup>\\n <mo>→</mo>\\n <msubsup>\\n <mrow>\\n <mo>(</mo>\\n <msubsup>\\n <mi>I</mi>\\n <mrow>\\n <mi>κ</mi>\\n <mo>,</mo>\\n <mi>λ</mi>\\n </mrow>\\n <mo>+</mo>\\n </msubsup>\\n <mo>)</mo>\\n </mrow>\\n <mi>ω</mi>\\n <mn>2</mn>\\n </msubsup>\\n </mrow>\\n <annotation>$I_{\\\\kappa , \\\\lambda }^+ \\\\rightarrow (I_{\\\\kappa , \\\\lambda }^+)^2_\\\\omega$</annotation>\\n </semantics></math> does not hold.</p>\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":\"68 4\",\"pages\":\"416-446\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2022-09-07\",\"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.202100033\",\"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.202100033","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

我们研究了选片原则对基数算术(Shelah风格)的影响。作为一种应用，我们讨论了安倍和乌苏巴的问题。特别地，我们证明了如果λ≥2 κ $\lambda \ge 2^\kappa$，则(a) I κ， λ $I_{\kappa , \lambda }$不是(λ， 2)-分布的，(b) I κ， λ +→(I κ，λ +) ω 2 $I_{\kappa , \lambda }^+ \rightarrow (I_{\kappa , \lambda }^+)^2_\omega$不成立。

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

查看原文本刊更多论文

Piece selection and cardinal arithmetic

We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if $λ \geq 2^{κ}$ , then (a) $I_{κ, λ}$ is not (λ, 2)-distributive, and (b) $I_{κ, λ}^{+} \to {(I_{κ, λ}^{+})}_{ω}^{2}$ does not hold.

求助全文

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

来源期刊

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.