User blog comment:P進大好きbot/Elementary Large Number/@comment-11227630-20190604040637/@comment-35470197-20190604134206

If I remember correctly, \(11 = 1 + 2^1 + 2^{1+2^1}\) corresponds to the non-standard expression \(1 + \omega\) in Cantor normal form, because \(1 + 2^1\) corresponds to \(\omega^0 = 1\) and \(1 + 2^{2^1}\) corresponds to \(\omega^{\omega^0} = \omega\).