User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-11227630-20160604040341

Something wrong: $$M(\alpha)$$ appears inside the definition of $$M(\alpha)$$.