SEARCH

SEARCH BY CITATION

Keywords:

  • concatenation recursion on notation;
  • inline image;
  • inline image;
  • and inline image computable functions;
  • 03D20;
  • 03D15

In the first half of the 1990s, Clote and Takeuti characterized several function complexity classes by means of the concatenation recursion on notation operators. In this paper, we borrow from computability theory well-known techniques based on pairing functions to show that inline image, inline image, and inline image functions can be characterized by means of concatenation iteration on notation. Indeed, a function class satisfying simple constraints and defined by using concatenation recursion on notation is inductively characterized by means of concatenation iteration on notation. Furthermore, inline image, inline image, and inline image unary functions are inductively characterized using addition, composition, and concatenation iteration on notation.