User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5150073-20140503105924/@comment-25418284-20140503160704

They are equivalent if we accept the generalized continuum hypothesis