International Colloquium on Mathematical Logic and Foundations of Set Theory, Jerusalem, 1968