1. [Ambos-Spies and Fejer, ta] K. Ambos-Spies, and P. Fejer, Degrees of unsolvability Handbook of Logic, volume 9, to appear
2. [Barmpalias and Lewis, 2009] G. Barmpalias and A. Lewis, The ibT degrees of c.e. sets are not dense, Annals of Pure and Applied Logic, 2009, to appear, doi:10.1016/j.apal.2005.10.001
3. [Boolos and Jeffrey, 1974] G. Boolos and R. Jeffrey, Computability and Logic, Cambridge Univ. Press, Cambridge, Engl., 1974
4. [Church, 1935] A. Church, An unsolvable problem of elementary number theory, Preliminary Report (abstract), Bull. Amer. Math. Soc. 41 (1935), 332–333
5. [Church, 1936] A. Church, An unsolvable problem of elementary number theory, American J. of Math., 58 (1936), 345–363