The bulletin of symbolic logic (Cambridge Univ. Press, 1995)