A relation between transfinite induction and mathematical induction in elementary number theory
ordinal estimates for subsystems of arithmetic
scientific article; zbMATH DE number 3645088