μ-Recursion and infinite limits

Abstract

The set of real functions generated from −1,0,1 by operations of superposition, differential recursion and infinite limits $\text{(}\text{lim}\text{sup}\text{,}\text{lim}\text{inf}\text{)}$ is considered. The equivalence of infinite limits and zero-finding operator μ is proved.