急成長階層
急成長階層(きゅうせいちょうかいそう、英: fast-growing hierarchy)および拡張グジェゴルチク階層(かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy)とは、1970年にマーティン・レーペ(Martin Löb)とスタンリー・S・ウェイナーによって定義された、最大 א 1 {\displaystyle \aleph _{1}} 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層(英: Wainer hierarchy)と呼ぶ。
急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 { f α } α < τ {\displaystyle \{f_{\alpha }\}_{\alpha <\tau }} (τ は適当な極限順序数)を急増加関数と呼ぶ。