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