Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984