Institute of Mathematical Science,
Nanjing, JiangSu province 210093,
P.R. of China.
Office:MMW Building 1110-4
"For me logic is about definability, but that could be a recursion theorist talking."
Gerald E. Sacks
My research interests include
set theory and
algorithmic information theory. Also I have been seeking for some interactions among these areas and with other math branches.
Some questions: pdf