User blog comment:Fejfo/Uncountable indexed veblen function/@comment-32213734-20180513045616/@comment-30869823-20180515195021

Does the definition with weak fixed points work?