通过否定不动点定理的适用性进行复制
摘要：关于一个与Scott的 denotational semantics 中使用的标准构造不同的某种无限完全偏序 (CPO) 的构建，以及其他几个无限 CPO 的构建。对于其中的一些 CPO，我们应用了通常的不动点定理 (FPT)，以得到对于每个连续函数mu:2 -> 2 (其中2表示集合{0,1}) 的不动点，而对于其他 CPO，我们无法利用该定理得到这样的不动点。每个这些 CPO 的元素都是以单调形式的二进制字符串，并且我们展示了 Scott构造的 CPO 不适用 FPT 的无效性引出了复制的概念。
作者：Genta Ito
论文ID：0805.2063
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-05-28