The Predicative Frege Hierarchy by A. Visser