>>685
＞このスレとしては計算できる関数のほうが 嬉しいので

各limit ordinalに対してfundamental sequenceが定まっていれば
Hαは計算可能。