Normal functions and maximal order types

Anton Freund, Davide Manca

Transformations of well partial orders induce functions on the ordinals, via the notion of maximal order type. In most examples from the literature, these functions are not normal,…