Projective well-orders and coanalytic witnesses | Publicación