User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-27516045-20170725132813/@comment-24061664-20170728133134

@Deedlit

The definition of the OCF in Bashicu's analysis is written here ja:ユーザーブログ:BashicuHyudora/ψ関数 I confirmed Bashicu. Bashicu says he is not very sure if the definition is sound.

I am translating Japanese in the page literally.

ψΩ(Ωω)以下は同じ -> Same (as conventional OCF) for under ψΩ(Ωω)

π:: 基数 (Base)

α:極限順序数 (limit ordinal)

α[n]: αの収束列のn番目の順序数 -> n-th ordinal of fundamental sequence of α

β(πα):最後がπαな順序数を表す式 -> Equation which expresses ordinal ending with πα

これで出来る列から A を取ったものが B の収束列 -> Remove A from this sequence and we get fundamental sequence of B