1. Formal consistency proofs and interpretability of theories. Dissertation, Berkeley 1957.
2. Arithmetization of metamathematics in a general setting
3. Representability op recursively enumerable sets in formal theories
4. Two theorems on relative interpretability. Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University. pp. 263–264.
5. Relative interpretations. Abstract of talk presented to Association for Symbolic Logic, September 1959.