集合上的递归函数.pdfVIP

第 18 卷第 3 期 数 学 研 究 与 评 论 Vol. 18 No. 3 1 9 9 8 年 8 月 JOURNAL OF MA THEMA TICAL RESEARCH AND EXPOSITION Aug . 1 9 9 8 集 合 上 的 递 归 函 数 周 　　青 ( 中山大学软件研究所, 广州 510275) 摘 　要 　本文在Jensen 和 Karp 工作的基础上引进了集合上的递归函数的概念. 研究 了递归集函数的初步性质,讨论了递归集函数与Jensen 和 Karp 定义的原始递归集函数及递归 数论函数之间的关系 ,并给出了 ZFC 的可定义集模型上递归集函数的范式定理. 递归集函数, 递归集论公式, 原始递归集函数. 关键词 　 分类号 　AMS