1 “... for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof...”