{"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}
引用次数: 0
Abstract
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 , then (a) is not (λ, 2)-distributive, and (b) does not hold.
期刊介绍:
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.