Recursion theory, Godel's theorems, set theory, model theory - Cori, René