User blog comment:Ubersketch/Homomorphism between Cantor's normal form of finite degree and primitive sequence system/@comment-35470197-20190809223713/@comment-35470197-20190812064125

I am referring to this blog post. He is explaining "the fundamental sequence for an ordinal with cofinality Ω" in the paragraph starting with "To define FSes for ordinals with cofinality Ω, it's best to think of them as the output of some function f(Ω)."

I know that this explanation does not make sense because the creator does not have an algorithm to define an FS for an uncountable ordinal, which is used to define the FS of its countable collapse. At least, he has ψ(Ω)[0] = ψ(f(0)) = ψ(Ω^Ω) and ψ(Ω^Ω)[0] = ψ(f(0)) = ψ(Ω^Ω) for any choice of the FSes of Ω and Ω^Ω. It means that UNOCF is not well-founded for any formal definition compatible with his explanation.