Cofinal types on ω2
Mathematical Logic Quarterly(2023)
摘要
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 .
更多查看译文
关键词
cofinal types
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要