Rechercher des projets européens

One of the principal threads in Mathematical Logic is to give a mathematical analysis of the notion of definability. Of particular interest is the relative definability of reals. Based on the fineness of ingredients that come into a particular definability notion, we obtain a whole spectrum of relative definability: effective translation (many-one reducibility), computation (Turing reducibility), ...