Describir: The bulletin of symbolic logic