Characterizations of ordinal analysis
scientific article; zbMATH DE number 7653726