1. Undecidability of Some Topological Theories
2. Initial segments of many-one degrees. To appear.
3. Degrees of Unsolvability. Annals of Mathematics Studies No. 55, Princeton 1963.
4. Applications of model theory to degrees of unsolvability. The Theory of Models, North Holland 1965, 359–363.