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