Characterization of the Relations in Grz
✍
Jean-Sylvestre Gakwaya
📂
Article
📅
1997
🏛
John Wiley and Sons
🌐
English
⚖ 264 KB
## 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.