Numbering the Grzegorczyk Hierarchy.

Question

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.

This might be related: Peter Hancock's web page on Skolem's problem — Dave L. Renfro, Apr 26 '13 at 18:33
To increase the integrity of this site, you should answer your own question. — Quinn Culver, Apr 30 '13 at 22:48

score 3 · Answer 1 · edited May 02 '13 at 10:35

3

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

edited May 02 '13 at 10:35

user642796

52,188

answered May 02 '13 at 10:13

gibarian

145

Numbering the Grzegorczyk Hierarchy.

1 Answers1