初等算子的一个重要性质及其应用

本文在§1里定义了初等算子及其相应的模函数,并利用配对函数定义一个函数f的堆积函数f~Δ。 在§2里,引入了初等算子的代表函数,从而给出初等算子的一个重要性质,即,如果初等算子δ作用于函数f而得函数g,则g的堆积函数g~Δ可由f的堆积函数f~Δ及δ的代表函数、δ的模函数作迭置而得。由此推得:初等函数类可以由某些开始函数出发,纯由迭置(不必使用初等算子)而作成。 在§3里,进而证明,嵌套单重递归式以及定义算子的单重递归式,即使含有初等算子,也都可化归为原始递归式及迭置,从而推广了文献2]的结果。