论文部分内容阅读
本文讨论某些递归函数类的分层问题,首先给出的是原始的Gorzegorczyk分层的一种较为简单的等价定义。然后,作为对Ackermann函数的一种推广,定义了一个递归函数序列{An}n∈w。并以此作为分层函数列定义了一种新的递归分层{Zn}n∈w,这种分层涉及了比原始递归函数类更大的一个递归函数类,实际上,原始递归函数类仅是Z-分层的第一层Z0。而且这种分层的任意的第n+1层都含有前面一层的通用函