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

@Ubersketch

It is NIECF. If you do not know the original UNOCF, then please study it again before you talk about it. Otherwise, we do not have a meaningful conversation. The original UNOCF is not well-defined up to I. Actually, it is easy to see that it has infinite loops when you compute the fundamental sequence beyond ε_0.