METAPREDICATIVE AND EXPLICIT MAHLO: A PROOF-THEORETIC PERSPECTIVE
After briefly discussing the concepts of predicativity, metapredicativity and impredicativity, we turn to the notion of Mahloness as it is treated in various contexts. Afterwards the appropriate Mahlo axioms for the framework of explicit mathematics are presented. The article concludes with relating explicit Mahlo to certain nonmonotone inductive definitions. §