ω2上的共尾型

IF 0.4 4区数学 Q4 LOGIC Mathematical Logic Quarterly Pub Date : 2023-05-31 DOI:10.1002/malq.202200021

Borisa Kuzeljevic, Stevo Todorcevic

{"title":"ω2上的共尾型","authors":"Borisa Kuzeljevic, Stevo Todorcevic","doi":"10.1002/malq.202200021","DOIUrl":null,"url":null,"abstract":"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 ℵ2. 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>.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Cofinal types on ω2\",\"authors\":\"Borisa Kuzeljevic, Stevo Todorcevic\",\"doi\":\"10.1002/malq.202200021\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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 ℵ2. 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>.\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-05-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200021\",\"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.202200021","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 3

摘要

在本文中，我们开始分析D类ℵ 2$\mathcal{D}_｛\aleph_2｝$，至多有向共尾集的一类共尾类型ℵ2.我们比较D的元素ℵ 2$\mathcal{D}_｛\aleph_2｝$使用Tukey可约性的概念。我们在D中分离出一些简单的共尾类型ℵ 2$\mathcal{D}_｛\aleph_2｝$，然后继续寻找其中一些在D的Tukey排序中具有直接后继的类型ℵ 2$\mathcal{D}_｛\alph_2｝$。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Cofinal types on ω2

In this paper we start the analysis of the class $D_{ℵ_{2}}$ , the class of cofinal types of directed sets of cofinality at most ℵ₂. We compare elements of $D_{ℵ_{2}}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $D_{ℵ_{2}}$ , and then proceed to find some of these types which have an immediate successor in the Tukey ordering of $D_{ℵ_{2}}$ .

求助全文

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

来源期刊

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.

期刊最新文献

Effectiveness of Walker's cancellation theorem Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/10.1002/malq.202300024 Good points for scales (and more) Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers Issue Information