Well-orders in the transfinite Japaridze algebra | Publicación