My interests include recursion theory, set theory and algorithmic information theory.I have been seeking for some interactions among these areas. I will also pay more attention to the applications of logic, particularly recursion theory, set theory and model theory, to the "main stream" mathematics, such as algebra, geometry and analysis, in the near future. Here "applications" means the real "application" to solve some problems in the "main stream" mathematics using logic methods, not just logiclizing the terms.

Some questions: pdf