An ordinal bound for the set of polynomial functions with exponentiation
scientific article; zbMATH DE number 3585491