User blog:Ubersketch/A couple questions.

Is it possible to extend KleO (Kleene O, Klev O+, Klev O++) to all countable ordinals? Is there a definition of fundamental sequences possible with KleO?