Title: Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln
Subjects: Predicate calculus, Real Numbers, Recursive functions