The Predicative Frege Hierarchy door A. Visser