Superautonomous numerations and projected ordinals
standard models of second order arithmetic
scientific article; zbMATH DE number 59381