User blog comment:Googleaarex/Fundamental sequences for my ordinal notation/@comment-1605058-20170225174736

There is at least one problem with this definition, namely that it assigns many different fundamental sequences to the same ordinal. For example, in the first rule, setting \(\alpha=0,\beta=n\) gives many different fundamental sequences for \(n+\omega=\omega\).