|
|||||
|
|
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited |
|
| Authors: | Jean-Sylvestre Gakwaya |
| Abstract: | In his 1953's paper, Grzegorczyk proved that a certain kind of relation classes of Grzegorczyk's hierarchy could be characterized inductively. We give a simpler version of this characterization. |
| Keywords: | Grzegorczyk's hierarchy Grzegorczyk's relation classes |