##
Monotone inductive definitions in explicit mathematics

Michael Rathjen

**Abstract**

The framework of Feferman's theory of explicit mathematics is
particularly suited to consider general constructive operations on
sets and their inductively defined fixed points. The talk will give a survey
of research on least fixed point axioms in explicit mathematics.