The Bulletin of symbolic logic