Recursion Theory

                                                                                                    9:30-11:30, Tuesday, Wujigeng building.

I plan to give an unofficial course on the topic. So there will no credits. I plan to cover priority argument, forcing construction, higher recursion theory, algorithmic randomness and some set theory topics related to recursion theory.  The audience should have taken the course Mathematical Logic I and have some basic knowledge in recursion theory (Cutland(1980)) and set theory (Halmos(1960)). There major references include Soare[1987], Sacks[1990], Downey and Hirschfeldt[2008], Nies[2012] and Chong and Yu[2015].  More details will be given later.