“...International Symposium on the Theory of Models Berkeley, Calif....”