1968 (with Hilary Putnam), "Degrees of unsolvability of constructible sets of integers," "Journal of Symbolic Logic 33": 497-513.