$ω_1$处的幽灵
摘要：可数幂集函子的最终链中，我们展示了以索引$omega\_1$看待的集合，作为一个转换系统，它不是强扩张的，因为它包含一个“幽灵”元素，即使在每个后继索引处的组件都有元素。这种方法是基于Forti和Honsell的构造方法进行调整的，它还在幂集函子的其他子函子的最终链中给出了更大顺序的幽灵元素。这导致了对这些最终链中哪些集合是强扩张的的精确描述。
作者：Paul Blain Levy
论文ID：1612.09514
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22