Skip to main content
MathOverflow

Return to Question

added 2 characters in body
Source Link
H.C Manu
H.C Manu
  • 893
  • 6
  • 14

I know for example that the first level of the Grzegorczyk hierarchy contains the functions which enumerate the c.e sets and that it has an interesting relation to the provably total functions in certain axiomatizations of arithmetic due to work of Kriesel, Girard and others. I was wondering if we know of some other interesing connections. For example

Can we say anything about theIs there a relationship between hierarchy levels and escape or domination properties of the functions enumerated by functions from said levels? I am looking for any connections like this from the literature.

I know for example that the first level of the Grzegorczyk hierarchy contains the functions which enumerate the c.e sets and that it has an interesting relation to the provably total functions in certain axiomatizations of arithmetic due to work of Kriesel, Girard and others. I was wondering if we know of some other interesing connections. For example

Can we say anything about the hierarchy levels and escape or domination properties of the functions enumerated by functions from said levels? I am looking for any connections like this from the literature.

I know for example that the first level of the Grzegorczyk hierarchy contains the functions which enumerate the c.e sets and that it has an interesting relation to the provably total functions in certain axiomatizations of arithmetic due to work of Kriesel, Girard and others. I was wondering if we know of some other interesing connections. For example

Is there a relationship between hierarchy levels and escape or domination properties of the functions enumerated by functions from said levels? I am looking for any connections like this from the literature.

edited title
Link
H.C Manu
H.C Manu
  • 893
  • 6
  • 14

Relation between properties of functions/sets and GrzegorczykGrzegorczyk's hierarchy

Source Link
H.C Manu
H.C Manu
  • 893
  • 6
  • 14

Relation between properties of functions/sets and Grzegorczyk hierarchy

I know for example that the first level of the Grzegorczyk hierarchy contains the functions which enumerate the c.e sets and that it has an interesting relation to the provably total functions in certain axiomatizations of arithmetic due to work of Kriesel, Girard and others. I was wondering if we know of some other interesing connections. For example

Can we say anything about the hierarchy levels and escape or domination properties of the functions enumerated by functions from said levels? I am looking for any connections like this from the literature.