1. Uncountable Gandy ordinals;Abramson;J. London Math. Soc.,1976
2. Degrees of unsolvability of constructible sets of integers;Boolos;J. Symbolic Logic,1968
3. A recursion theoretic characterization of the ramified analytical hierarchy;Boyd;Trans. Am. Math. Soc.,1969
4. P.J. COHEN [1966] Set Theory and the Continuum Hypothesis (Benjamin).
5. M. DAVIS [1950] On the theory of recursive unsolvability, Ph.D. thesis, Princeton, N.J.