Title: Induktive Definitionen und Fragmente der klassischen Analysis in einer Theorie der effektiven Mathematik