Talk:Bulletin of Symbolic Logic