Bulletin Of Symbolic Logic