So I need to writeup some old results of Harrington's which imply various results about admissible ordinals.  I've never really learned admissible recursion theory so what's a good reference?