ハーディ階層

ウィキペディア

ハーディ階層

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/18 04:44 UTC 版)

ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である。この階層はグジェゴルチク階層や急成長階層と同様に、順序数 α (≦ ε₀) で添え字づけられた関数の族 {h_α}_{α ≦ ε0} を定め、h_α を含んで限定再帰および初等的な操作で閉じた集合 $\{{\mathcal {H}}_{\alpha }\}_{\alpha \leq \varepsilon _{0}}$ この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。