>>473
いや私はω1CKは存在しないのではないかとか
そういうことを考えている訳じゃないのです。
あと0から始めて帰納的に定義される順序数は
recursiveだ、とみたいなことがその論文に書いてありますが
私はそういう言葉の使い方をしていません。

>>474
普通は<ω, ＜>が再帰的に定義できないような
（つまりΣ1述語で表現できないような）最初の順序という風に定義すると思います。