Author: International Symposium on the Theory of Models Berkeley, Calif. 1963.