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.