Numbering the Grzegorczyk Hierarchy.

92 Views Asked by At

I would like to know if there is a (known and maybe published) way to numbering, in a Gödel style, the functions belonging to every class in the Grzegorczyk Hierarchy and how could it be done.

1

There are 1 best solutions below

0
On

I've found it! It 's developed in:

Axt, P., Enumeration and the Grzegorczyk hierarchy, Z. math. Logik und Grundl. Math. 9 (1963) 53–65, MR0144811, Zbl 0112.24602, link