二重递归函数及其分层  

Double Recursive Functions and Their Hierarchy

作　　者：郑锡忠[1] 

机构地区：[1]南京大学数学系,210008

出　　处：《Journal of Mathematical Research and Exposition》1993年第2期303-308,共6页数学研究与评论（英文版）

基　　金：国家自然科学基金资助项目

摘　　要：本文讨论R.Péter[3]所提出的二重递归函数的性质,给出了二重递归函数的另一种等价刻画,即证明了二重速归函数类就是文[6]中所讨论的Z—分层函数类Z=(?)Z.结合文[6]的结论我们便得到了关于二重递归函数类的一种Grzegorezyk型分层和一种更简单的二重递归模式.This paper discusses the properties of double recursive functions which are defined by R.Peter in [3]. An equivalent characterization of double recursive functions is suggested, which is defined to be the class z = ∪∩∈w zn of z-hierarchy. Then, a Grzegorczyk type hier-archy of double recursive functions is obtained by means of the results of [6]. Furthermore, the standard double recursion of R.Peter is reduced to a more simple scheme.

关 键 词：递归函数 分层 Grzegorczyk 

分 类 号：O141.3[理学—数学]