Abstract:
En la presente comunicación se afronta una descripción de las clases de la Jerarquía de Grzegorzcyk por medio de una caracterización constructiva del operador recursión acotada bajo el cual están cerradas dichas clases. Ello permite concluir, a partir de la demostración para el nivel cero, que las clases pertenecientes a dicha jerarquía son todas ellas recursivamente enumerables. Palabras clave: Funciones recursivas primitivas, Jerarquía de Grzegorzcyk, conjuntos recursivamente enumerables. Abstract In this paper we face a description of the classes belonging to the known as Grzegorzcyk Hierarchy by means of a constructive characterization of the bounded recursion operator under which they are closed. That will allow us to conclude that, from the proof at the zero level, all classes in the Grzegorzcyk Hierarchy are recursively enumerable.
