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.