Bulletin of Symbolic Logic