Bulletin of symbolic logic (Association for Symbolic Logic [Tb1], 1995)