摘要：可数闭集与连续单调可嵌入性的关系研究；我们证明了在此嵌入性关系下存在着正好ℵ₁个等价类。这是Laver在1971年的结果的扩展，他研究的是（普通的）可嵌入性，得到了更粗糙的等价类。利用这个结果，我们证明了只有可数多个不同的哥德尔逻辑。
作者：Arnold Beckmann, Martin Goldstern, Norbert Preining
论文ID：math/0411117
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中