On strong chains of sets and functions

IF 0.8 3区数学 Q2 MATHEMATICS

Mathematika Pub Date : 2023-01-03 DOI:10.1112/mtk.12183

Tanmay C. Inamdar

{"title":"On strong chains of sets and functions","authors":"Tanmay C. Inamdar","doi":"10.1112/mtk.12183","DOIUrl":null,"url":null,"abstract":"Shelah has shown that there are no chains of length ω3 increasing modulo finite in <math>\n <semantics>\n <mrow>\n <msup>\n <mrow></mrow>\n <msub>\n <mi>ω</mi>\n <mn>2</mn>\n </msub>\n </msup>\n <msub>\n <mi>ω</mi>\n <mn>2</mn>\n </msub>\n </mrow>\n <annotation>${}^{\\omega _2}\\omega _2$</annotation>\n </semantics></math>. We improve this result to sets. That is, we show that there are no chains of length ω3 in <math>\n <semantics>\n <msup>\n <mrow>\n <mo>[</mo>\n <msub>\n <mi>ω</mi>\n <mn>2</mn>\n </msub>\n <mo>]</mo>\n </mrow>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n </msup>\n <annotation>$[\\omega _2]^{\\aleph _2}$</annotation>\n </semantics></math> increasing modulo finite. This contrasts with results of Koszmider who has shown that there are, consistently, chains of length ω2 increasing modulo finite in <math>\n <semantics>\n <msup>\n <mrow>\n <mo>[</mo>\n <msub>\n <mi>ω</mi>\n <mn>1</mn>\n </msub>\n <mo>]</mo>\n </mrow>\n <msub>\n <mi>ℵ</mi>\n <mn>1</mn>\n </msub>\n </msup>\n <annotation>$[\\omega _1]^{\\aleph _1}$</annotation>\n </semantics></math> as well as in <math>\n <semantics>\n <mrow>\n <msup>\n <mrow></mrow>\n <msub>\n <mi>ω</mi>\n <mn>1</mn>\n </msub>\n </msup>\n <msub>\n <mi>ω</mi>\n <mn>1</mn>\n </msub>\n </mrow>\n <annotation>${}^{\\omega _1}\\omega _1$</annotation>\n </semantics></math>. More generally, we study the depth of function spaces <math>\n <semantics>\n <mrow>\n <msup>\n <mrow></mrow>\n <mi>κ</mi>\n </msup>\n <mi>μ</mi>\n </mrow>\n <annotation>${}^\\kappa \\mu$</annotation>\n </semantics></math> quotiented by the ideal <math>\n <semantics>\n <msup>\n <mrow>\n <mo>[</mo>\n <mi>κ</mi>\n <mo>]</mo>\n </mrow>\n <mrow>\n <mo><</mo>\n <mi>θ</mi>\n </mrow>\n </msup>\n <annotation>$[\\kappa ]^{< \\theta }$</annotation>\n </semantics></math> where <math>\n <semantics>\n <mrow>\n <mi>θ</mi>\n <mo><</mo>\n <mi>κ</mi>\n </mrow>\n <annotation>$\\theta < \\kappa$</annotation>\n </semantics></math> are infinite cardinals.","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":null,"pages":null},"PeriodicalIF":0.8000,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12183","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematika","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/mtk.12183","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 1

Abstract

Shelah has shown that there are no chains of length ω₃ increasing modulo finite in $^{ω_{2}} ω_{2}$ . We improve this result to sets. That is, we show that there are no chains of length ω₃ in ${[ω_{2}]}^{ℵ_{2}}$ increasing modulo finite. This contrasts with results of Koszmider who has shown that there are, consistently, chains of length ω₂ increasing modulo finite in ${[ω_{1}]}^{ℵ_{1}}$ as well as in $^{ω_{1}} ω_{1}$ . More generally, we study the depth of function spaces $^{κ} μ$ quotiented by the ideal ${[κ]}^{< θ}$ where $θ < κ$ are infinite cardinals.

查看原文本刊更多论文

在集合和函数的强链上

Shelah已经证明在ω2ω2 ${}^{\omega _2}\omega _2$中不存在长度为ω3递增模有限的链。我们将这个结果改进为集合。也就是说，我们证明了在[ω2] λ 2 $[\omega _2]^{\aleph _2}$中不存在长度为ω3的链。这与Koszmider的结果相反，Koszmider已经表明，在[ω1] ω1 $[\omega _1]^{\aleph _1}$和ω1ω1 ${}^{\omega _1}\omega _1$中始终存在长度为ω2的递增模有限的链。更一般地，我们研究了理想[κ]所商的函数空间κμ ${}^\kappa \mu$的深度。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Mathematika MATHEMATICS, APPLIED-MATHEMATICS

CiteScore

1.40

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematika publishes both pure and applied mathematical articles and has done so continuously since its founding by Harold Davenport in the 1950s. The traditional emphasis has been towards the purer side of mathematics but applied mathematics and articles addressing both aspects are equally welcome. The journal is published by the London Mathematical Society, on behalf of its owner University College London, and will continue to publish research papers of the highest mathematical quality.