1. On Padoa's method in the theory of definition;Beth;Indag. Math.,1953
2. Some new results in definability;Chang;Bull. Am. Math. Soc.,1964
3. A generalization of the Craig interpolation theorem;Chang;Am. Math. Soc. Notices,1968
4. On Σ11-relations on special models;Chang;Am. Math. Soc. Notices,1968
5. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory;Craig;J. Symb. Logic.,1957