Additive principal number

An additive principal number is a non-zero ordinal \(\alpha\) satisfying \(\forall(\beta,\gamma<\alpha)(\beta+\gamma<\alpha)\). In other words, it is an ordinal closed under addition. An ordinal is an additive principal number if and only if it is of the form \(\omega^{\beta}\) for some ordinal \(\beta\). In particular, an additive principal number is either \(1\) or a limit ordinal. The class of all additive principal number is often denoted by \(\textrm{AP}\).