User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-7484840-20130706154845/@comment-10429372-20130706162203

Same thing as for the Fefermann-Schutte ordinal = Gamma_0