User blog comment:Alemagno12/Making an OCF, attempt 2/@comment-5529393-20170803204913/@comment-5529393-20170803210409

I'm referring to problems in Alemagno's definitions.

Your definition of "diagonalizer of" is also problematic, as functions have fixed points, not regular cardinals. I don't know what "emulates" means.