| 集合上的递归函数 |
| |
| 引用本文： | 周青.集合上的递归函数[J].数学研究及应用,1998,18(3):459-464. |
| |
| 作者姓名： | 周青 |
| |
| 作者单位： | 中山大学软件研究所 |
| |
| 摘 要： | 本文在Ｊｅｎｓｅｎ和Ｋａｒｐ工作的基础上引进了集合上的递归函数的概念．研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递归集函数的范式定理．
|
| 关 键 词： | 递归集函数 递归集论公式 原始递归集函数 |
Recursive Set Functions |
| |
| Zhou Qing.Recursive Set Functions[J].Journal of Mathematical Research with Applications,1998,18(3):459-464. |
| |
| Authors: | Zhou Qing |
| |
| Institution: | Zhongshan University; Guangzhou 510275 |
| |
| Abstract: | In this paper, the notions of recursive functions and recursive formulas on sets are introduced; some properties of such functions and formulas are studied; and the relations between recursive set functions and primitively recursive set functions are defined by Jenson and Karp and between recursive set functions and recursive number theoretic functions are also discussed. The paper concludes with the Normal Form Theorem for recursive set functions. |
| |
| Keywords: | recursive set functions recursive formulas on sets primitively recursive set functions |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 |
| 点击此处可从《数学研究及应用》下载免费的PDF全文 |
