User blog comment:Ubersketch/CNFlex/@comment-35470197-20190908003106/@comment-39541634-20190908015338

@P-bot

Oh dear, you are right. Must be the late hour.

I guess this is the kind of oversight that will get me in trouble in the future, hmmm? :-)

But I'm not so sure about this:

"Also, the correspondence from ordinals to strings is ill-defined, because you have not fully define or quantify symbols."

He explicitly stated that the symbols are ordered lexicographically. That's a total order. So what's the problem? The order itself defines the ordinals.

Unless I have misunderstood the challenge? I thought that Ubersketch was just interested in writing down the rules for an e0-level notation that corresponds with the Weiner Hierarchy. Does the challenge include proving this relationship as well? If so, this is going to take a while...