Room P3.10, Mathematics Building

Jerzy Mycka, M. Curie-Sklodowska U, Poland

Real Recursive Functions in Descriptive Set Theory

The definitions of recursive and G-recursive functions will be recalled. Then some fundamental results and properties of these functions will be presented. Especially their relation to Baire classes and effective Baire classes will be considered. The connections between these notions and analog computations will be analysed. The meaning of a differential recursion, minimalization operator and infinite limits in the above context will be discussed. Also the place of hierarchies of real recursive functions in descriptive set theory will be studied.