| 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 focus on hitherto open questions about the strength of these principles when the underlying logic is intuitionistic logic. I also hope to address related questions for Constructive Zermelo-Fraenkel set theory. |