The Bulletin of Symbolic Logic