User blog comment:Edwin Shade/In Which I Try To Derive Values of Madore's OCF on My Own, and See How Far I Get/@comment-32213734-20171203100352/@comment-32213734-20171207212732

Hi Denis Maksudov! Thanks!

I have a question about rule 6: how to construct β[δ] from β? Say, β is Ω2, then β[δ] is Ωδ or δΩ? What are the general rules?

By the way, α[η] is fundamental sequence of α, and η is natural number? I think in rules 2,3 should be α[η + 1] = ωα[η], and in rule 4 I don't know what should be, but α[η] = η is fundamental sequence of ω, and all Ων + 1 are uncountable ordinals. Am I right?