Journal: Bulletin of Symbolic Logic