{"title":"Cofinal types on ω2","authors":"Borisa Kuzeljevic, Stevo Todorcevic","doi":"10.1002/malq.202200021","DOIUrl":null,"url":null,"abstract":"<p>In this paper we start the analysis of the class <math>\n <semantics>\n <msub>\n <mi>D</mi>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n </msub>\n <annotation>$\\mathcal {D}_{\\aleph _2}$</annotation>\n </semantics></math>, the class of cofinal types of directed sets of cofinality at most ℵ<sub>2</sub>. We compare elements of <math>\n <semantics>\n <msub>\n <mi>D</mi>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n </msub>\n <annotation>$\\mathcal {D}_{\\aleph _2}$</annotation>\n </semantics></math> using the notion of Tukey reducibility. We isolate some simple cofinal types in <math>\n <semantics>\n <msub>\n <mi>D</mi>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n </msub>\n <annotation>$\\mathcal {D}_{\\aleph _2}$</annotation>\n </semantics></math>, and then proceed to find some of these types which have an immediate successor in the Tukey ordering of <math>\n <semantics>\n <msub>\n <mi>D</mi>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n </msub>\n <annotation>$\\mathcal {D}_{\\aleph _2}$</annotation>\n </semantics></math>.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200021","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
In this paper we start the analysis of the class , the class of cofinal types of directed sets of cofinality at most ℵ2. We compare elements of using the notion of Tukey reducibility. We isolate some simple cofinal types in , and then proceed to find some of these types which have an immediate successor in the Tukey ordering of .