About: ハーディ階層

ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である。この階層はグジェゴルチク階層や急成長階層と同様に、順序数 α (≦ ε0) で添え字づけられた関数の族 {hα}α ≦ ε0 を定め、hα を含んで限定再帰および初等的な操作で閉じた集合 として定義される。名称はイギリスの数学者ゴッドフレイ・ハロルド・ハーディに由来する。 ハーディは1904年の論文において連続体濃度の集合から濃度 （最小の非可算順序数）の部分集合を構成するために、順序数 と対応付けられた自然数列の族が構成可能であることを示した。ウェイナーが定めた関数の族 {hα}α ≦ ε0 はこの論文で使われたアイデアをもとに定義されている。