グジェゴルチク階層
グジェゴルチク階層(ぐじぇごるちくかいそう、英: Grzegorczyk hierarchy、発音:[ɡʐɛˈɡɔrt͡ʂɨk])は計算可能性理論に基づく関数の階層である。(Wagner and Wechsung 1986:43)。名称はポーランドの論理学者アンジェイ・グジェゴルチク(英語版)に因む。グジェゴルチク階層に属す任意の関数は原始帰納的関数であり、逆に任意の原始帰納的関数はこの階層のあるレベルに現れる。この階層は関数値の増大の度合いを扱う。直観的にいえば、低い階層の関数はより高い階層の関数よりも緩やかに増加する。