Double Recursive Functions and Their Hierarchy
Received:March 31, 1991  
Key Words:   
Fund Project:
Author NameAffiliation
Zheng Xizhong Dept. of Math.
Nanjing University 
Hits: 2272
Download times: 1762
Abstract:
      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 = ∪n∈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.
Citation:
DOI:10.3770/j.issn:1000-341X.1993.02.030
View Full Text  View/Add Comment