Premium
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited
Author(s) -
Gakwaya JeanSylvestre
Publication year - 1997
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19970430109
Subject(s) - mathematics , hierarchy , characterization (materials science) , mathematical economics , political science , materials science , law , nanotechnology
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.