钱磊
- 作品数：4 被引量：3H指数：1
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 多重递归函数的分层和Grzegorczyk问题被引量：1
- 1992年
- Ritchie肯定地回答了Grzegorczyk第七问题,本文给出了其第九问题的否定性回答。
- 郑锡忠钱磊
- 准邻接度的格嵌入性质
- 1992年
- 所谓邻接(Contiguous)度是指只含一个递归可枚举(简称r.e.)的wtt-度的r.e.图灵度。Stob和Ambos-spies研究了邻接度的存在性与格嵌入等问题。本文将研究的是一种与邻接度十分相似的度——准邻接度,并讨论其格嵌入性质。
- 钱磊郑锡忠
- 关键词：递归可枚举度
- 中介逻辑的模型论性质被引量：2
- 1992年
- 中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。
- 钱磊周以铨
- 关键词：数理逻辑模型论中介逻辑
- Grzegorczyk分层的一种延伸
- 1994年
- 本文讨论某些递归函数类的分层问题．首先给出的是原始的Ｇｏｒｚｅｇｏｒｃｚｙｋ分层的一种较为简单的等价定义．然后，作为对Ａｃｋｅｒｍａｎｎ函数的一种推广，定义了一个递归函数序列｛Ａｎ｝ｎ∈ω．并以此作为分层函数列定义了一种新的递归分层｛Ｚｎ｝ｎ∈ω（即Ｚ—分层），这种分层涉及了比原始递归函数类更大的一个违归函数类．实际上，原始递归函数类仅是Ｚ—分层的第一层Ｚ０．而且这种分层的任意的第ｎ＋１层都含有前面一层的通用函数．最后还定义了Ｚ—分层的一种加细｛Ｚ｝ｎ，ｉ∈ω，使得｛Ｚ｝ｉ∈ω构成Ｚｎ的一种合理分层，并且在Ｚ０上的加细｛Ｚ｝ｉ∈ω刚好就是原始的Ｇｒｚｅｇｏｒｃｚｙｋ分层．这表明Ｚ—分层及其加细确为Ｇｒｚｅｇｏｒｃｚｙｋ分层的自然延伸．
- 郑锡忠钱磊
- 关键词：递归函数
