Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957