Hajime Ishihara: Reverse mathematics of non deterministic inductive definitions

The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: We present some reverse mathematics within a constructive set theory in terms of non-deterministic inductive definition (NID) principles. This is a joint work with Ayana Hirata, Tatsuji Kawai and Takako Nemoto.