Meeting of the Association for Symbolic Logic: New York, 1975. - Paul Benacerraf; Simon Kochen; Gerald E. Sacks (J. Symb. Log., 1977)