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

Dear all,

there is a subtle point in the definition of M(\alpha). One should presumably add \alpha\in C(\alpha,\beta) in its definition. Such a condition is needed to get unique representations and it cannot be generated later from below since \beta is regular.

Best,

Andreas Weiermann