User blog comment:Qq1010903229/Ordinals Beyond \(\varepsilon 0\) And Its BEAF Approximation/@comment-37556263-20191101142136

First ought we to define how BEAF would handle transfinite ordinals though? This is interesting though, and I can see you put a lot of effort into it.