User blog comment:SuperSpruce/Aleph BEAF!/@comment-35470197-20190131011451/@comment-35470197-20190201220929

I could not understand what you meant. At least, the operation \(-1\) is ill-defined for limit ordinals, and hence its infinite repetition does not work.

In addition, infinite repetition is not recursive by definition, and hence the associated cardinal notation is not recursive.