緩成長階層

提供: testwiki
ナビゲーションに移動 検索に移動

緩成長階層(かんせいちょうかいそう、英:slow-growing hierarchy)は順序数αに対し関数ga:NNN自然数)を定義する階層である。名前の通り、急増加階層ハーディー階層よりも遅く成長する。[1][2]

定義

g0(n)=0

gα+1(n)=gα(n)+1

gα(n)=gα[n](n)α極限順序数のとき、α[n]αn番目の順序数


出典

脚注

テンプレート:Normdaten テンプレート:Mathlogic-stub