＞>>885のリンク先見てみましたが、
＞どこかで聞きかじった断片的な知識を組み合わせて独自理論を打ち立ていて
＞とってもクリエイティブな講演ですね。
＞構成的数学では εo 番目の Hardy function H_{\varepsilon_0} を越えられない、
＞とか書いてあるけど、CZF なんかでは H_{\varepsilon_0} を越えられるし。
＞構成的数学＝ハイティング算術、という前提で誰かが言っていたのを
＞ろくに理解しないまま断片的にだけ受け売りしたんでしょうね。

サンダースの小犬のグループには江口さんっていう Hardy 階層とか
証明可能再帰関数の理論の専門家がいらっしゃるのに不思議ですね。
こういう間違いを見落とすとは思えないんですが。